Amar Bouali

Name: Amar Bouali

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

E-Mail: Amar.Bouali@sophia.inria.fr
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