Gerard Berry

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