Difference between revisions of "Akim Demaille"
From LRDE
Line 21: | Line 21: | ||
At EPITA |
At EPITA |
||
* THLR : Rational Expressions and Automata: 2nd year students, 10 hours. |
* THLR : Rational Expressions and Automata: 2nd year students, 10 hours. |
||
− | * [[Théorie |
+ | * [[Théorie des Langages (THL)]] : Grammars and Parsing: 3rd year students, 30 hours. |
− | * [[ |
+ | * [[Typologie des Langages (TYLA)]] : Programming Languages Typology: 3rd year students, 15 hours. |
− | * [[Construction_des_Compilateurs_Niveau_-1_(CMP1) CMP-1]] et [[https:// |
+ | * [[Construction_des_Compilateurs_Niveau_-1_(CMP1) CMP-1]] et [[https://www-old.lrde.epita.fr/wiki/Construction_des_Compilateurs_Niveau_-2_(CMP2) CMP-2]] : Compiler Construction: 3rd year students, 30 hours. |
* [[Logique_formelle_(LOFO) LOFO]] : Logic and Computer Science, 15 hours. |
* [[Logique_formelle_(LOFO) LOFO]] : Logic and Computer Science, 15 hours. |
||
Revision as of 16:23, 22 October 2013
- Name: Akim Demaille
- Login Name: akim
- Email: akim @ lrde . epita . fr
- Phone: +33 1 53 14 59 42
- FAX: +33 1 53 14 59 22
- Department: LRDE
- Location: Paritalie
Interests
- Programming Languages
- Compilation
- Optimization
- Program Transformation
Lectures
At EPITA
- THLR : Rational Expressions and Automata: 2nd year students, 10 hours.
- Théorie des Langages (THL) : Grammars and Parsing: 3rd year students, 30 hours.
- Typologie des Langages (TYLA) : Programming Languages Typology: 3rd year students, 15 hours.
- Construction_des_Compilateurs_Niveau_-1_(CMP1) CMP-1 et [CMP-2] : Compiler Construction: 3rd year students, 30 hours.
- Logique_formelle_(LOFO) LOFO : Logic and Computer Science, 15 hours.
At Télécom Paristech
- THL : Grammars and Parsing: 3rd year students, 15 hours.
- LOO : Object Oriented Programming: 3rd year students, 15 hours.
Free Software
- GNU Autoconf, former maintainer
- GNU Automake, contributor
- GNU Bison, co-maintainer
- GNU a2ps, former maintainer
- Urbi SDK : Chief Architecture of the Urbi Open Source Robotics SDK.
Research and Development
This project aims at exploiting LRDE know-how in static and generic C++ programming by transforming naive C++ programs into efficient C++ programs.
This project aims at developping a compiler for the Tiger language, written in C++. It is part of the EPITA curriculum.
An environment to experiment and develop products based on Finite State Machines.
A French company in robotics, who provides the Gostai Jazz robots, and the Urbi SDK Open Source platform for the development of portable robotic applications.
Absolutely Not Free Software
in C++, kept secret, since the whole point is to have students make it by themselves.