Name: Gerard Berry
Organisation: Ecole des Mines de Paris
Research Unit: C.M.A Sophia Antipolis
E-Mail: Gerard.Berry@sophia.inria.fr
Phone: 33 4 92 38 79 63
Fax: 33 4 92 38 79 98
Personnal Web Page:
Position: Director of Research – CMA Tick project head
Research Activities: Programming language design and semantics
Reactive and real-time programming
Synchronous circuit design and synthesis
Automatic verification of finite-state systems
Teaching Activities: Automata and Boolean calculus ISIA, GEIP
Circuit design ISIA, GEIP
Calculability and lambda-calculus ISIA
Reactive Programming ISIA