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
 
         
 Esterel compilation
 
           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  
             
     
 Contact Amar Bouali@