User

Difference between revisions of "Akim Demaille"

From LRDE

Line 23: Line 23:
 
* [https://www-old.lrde.epita.fr/cgi-bin/twiki/view/Epita/THL-Course Théorie des Langages (THL)] : Grammars and Parsing: 3rd year students, 30 hours.
 
* [https://www-old.lrde.epita.fr/cgi-bin/twiki/view/Epita/THL-Course Théorie des Langages (THL)] : Grammars and Parsing: 3rd year students, 30 hours.
 
* [https://www-old.lrde.epita.fr/cgi-bin/twiki/view/Epita/TYLA-Course Typologie des Langages (TYLA]] : Programming Languages Typology: 3rd year students, 15 hours.
 
* [https://www-old.lrde.epita.fr/cgi-bin/twiki/view/Epita/TYLA-Course Typologie des Langages (TYLA]] : Programming Languages Typology: 3rd year students, 15 hours.
* [[https://www-old.lrde.epita.fr/cgi-bin/twiki/view/Epita/CMP1-Course Construction des Compilateurs_Niveau 1 (CMP1) CMP-1] et [https://www-old.lrde.epita.fr/cgi-bin/twiki/view/Epita/CMP2-Course Construction des Compilateurs_Niveau 2 (CMP2) CMP-2] : Compiler Construction: 3rd year students, 30 hours.
+
* [https://www-old.lrde.epita.fr/cgi-bin/twiki/view/Epita/CMP1-Course Construction des Compilateurs_Niveau 1 (CMP1) CMP-1] et [https://www-old.lrde.epita.fr/cgi-bin/twiki/view/Epita/CMP2-Course Construction des Compilateurs_Niveau 2 (CMP2) CMP-2] : Compiler Construction: 3rd year students, 30 hours.
 
* [https://www-old.lrde.epita.fr/cgi-bin/twiki/view/Epita/LOFO-Course Logique formelle (LOFO) LOFO]] : Logic and Computer Science, 15 hours.
 
* [https://www-old.lrde.epita.fr/cgi-bin/twiki/view/Epita/LOFO-Course Logique formelle (LOFO) LOFO]] : Logic and Computer Science, 15 hours.
   

Revision as of 15:28, 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


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.