Amar Bouali

Name: Amar Bouali

Organisation: I.N.R.I.A
Research Unit: Sophia Antipolis

Phone: 33 4 92 38 79 49
Fax: 33 4 92 38 79 98
Personnal Web Page:

Position: INRIA researcher

Research Activities: Synchronous Reactive systems
Constructive cyclic circuit analysis
Finite-states systems verification
Binary Decision Diagrams (BDDs)

Teaching Activities: Principles of Esterel Program Verification
Boolean Calculus and Binary Decision Diagrams
Automata and Formal Languages