User

Difference between revisions of "Akim Demaille"

From LRDE

(Fix links.)
 
(14 intermediate revisions by 3 users not shown)
Line 20: Line 20:
   
 
At EPITA
 
At EPITA
* THLR : Rational Expressions and Automata: 2nd year students, 10 hours.
+
* [[Courses/THLR]] : Rational Expressions and Automata: 2nd year students, 10 hours.
* [[https://www2.lrde.epita.fr/wiki/Théorie_des_Langages_(THL) THL]] : Grammars and Parsing: 3rd year students, 30 hours.
+
* [[Courses/THL]] : Grammars and Parsing: 3rd year students, 30 hours.
* [[https://www2.lrde.epita.fr/wiki/Typologie_des_Langages_(TYLA) TYLA]] : Programming Languages Typology: 3rd year students, 15 hours.
+
* [[Courses/TYLA]] : Programming Languages Typology: 3rd year students, 15 hours.
* [[https://www2.lrde.epita.fr/wiki/Construction_des_Compilateurs_Niveau_-1_(CMP1) CMP-1]] et [[https://www2.lrde.epita.fr/wiki/Construction_des_Compilateurs_Niveau_-2_(CMP2) CMP-2]] : Compiler Construction: 3rd year students, 30 hours.
+
* [[Courses/CMP1]] and [[Courses/CMP2]] : Compiler Construction: 3rd year students, 30 hours.
* [[https://www2.lrde.epita.fr/wiki/Logique_formelle_(LOFO) LOFO]] : Logic and Computer Science, 15 hours.
+
* [[Courses/LOFO]] : Logic and Computer Science, 15 hours.
  +
* [[Courses/CXXA]] : Advanced C++, 12 hours.
 
   
 
At Télécom Paristech
 
At Télécom Paristech
Line 40: Line 40:
   
 
'''Research and Development'''
 
'''Research and Development'''
* Transformers
+
* [[Old_Projects|Transformers]]
 
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 exploiting LRDE know-how in static and generic C++ programming by transforming naive C++ programs into efficient C++ programs.
   
* Tiger Compiler
+
* [[Tiger|Tiger Compiler]]
 
This project aims at developping a compiler for the Tiger language, written in C++. It is part of the EPITA curriculum.
 
This project aims at developping a compiler for the Tiger language, written in C++. It is part of the EPITA curriculum.
   
  +
* [[Vcsn|Vcsn]]
* Vaucanson
 
 
An environment to experiment and develop products based on Finite State Machines.
 
An environment to experiment and develop products based on Finite State Machines.
   
Line 54: Line 54:
   
 
'''Absolutely Not Free Software'''
 
'''Absolutely Not Free Software'''
* Tiger Compiler
+
* [[Tiger|Tiger Compiler]]
 
in C++, kept secret, since the whole point is to have students make it by themselves.
 
in C++, kept secret, since the whole point is to have students make it by themselves.

Latest revision as of 14:38, 23 June 2015


  • 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.