Former Graduate Students:
 
    * Ricardo Medel, PhD
      Thesis title: Typed Assembly Languages For Software Security
      Defense date: December 7, 2006
      Best Stevens CS Graduate Student Award 2003
      Now at INTEL, Argentina
 
 
 
 
    * Pablo Garralda - PhD
      Thesis title: Boxed Ambients for Global Computing
      Defense date: April 2, 2007
      Best ISSA CS Graduate Student Award 2004
      Now at INTEL, Argentina
 
 
 
 
    
    
* Matthieu Lucotte, MSc. (September 2000 - December 2001). Now working at Bloomberg, NY.
      Implementing a Typed Assembly Language and its Machine Model (CACIC 02)
 
 
 
 
 
 
 
Postdocs:
 
    * Eduardo Bonelli (October 2002 - February 2005) Secure       Electronic Transactions project. Now at LIFIA, Argentina.
 
 
 
 
 
 
 
    * Philippe Bidinger (November 2005 - October 2006) Mobile Access Control project. Now at Verimag, Grenoble, France.
PhD students:
 
Bao Yifei
Computational Systems Biology
Modeling of Molecular Processes using Concurrent Calculi
 
 
Vishakha Sharma
Computational Systems Biology
Modeling of Signal Transduction using Concurrent Calculi