User

Difference between revisions of "Akim Demaille"

From LRDE

(Fix links.)
 
(15 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.
   
* Gostai
+
* [http://www.gostai.com Gostai]
 
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.
 
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'''
 
'''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.