Esterel Team
 
   
 
 
 Esterel Team
 
 

 

 

 

 

 


     
       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  
             
     
 
 Contact Esterel Webmaster@