| |
|
|
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 |
|
| |
|
|
|
|
|
|
|
Back