Students
From FSL
Contents |
[edit] Current Students
- Here is a list of my current students:
- We are all part of the formal systems laboratory (FSL). Please visit FSL for more information on our research.
[edit] Former Students
- Here is a list of my former students:
- Andrew Bennett (UIUC 2005-2006. M.S)
- Sanjit Saluja (UIUC 2004-2005)
- Marcelo D'Amorim (UIUC 2004-2005)
- Sophie Quinton (UIUC 2004, 2005 summer internship)
- Ram Prasad Venkatesan (UIUC 2002-2004. M.S.)
- Laureniu Leustean (NASA 2002 summer internship)
- Scott Johnson (NASA 2001 summer internship)
- If you are former student of mine, please let me know your new coordinates.
[edit] Collaborator Students
- Here is a list of students that I do not directly advise but with whom I collaborate or collaborated:
- Marcelo D'Amorim (during 2004-today; adviser: Darko Marinov)
- Azadeh Farzan (during 2003-today; adviser: Jose Meseguer)
- Sumant Kowshik (during 2005-2006; adviser Lui Sha)
- Koushik Sen (during 2002-today; adviser: Gul Agha)
- Please let me know if you are a student that published with me and I forgot to mention your name
[edit] Thesis Committee Member
- Here is a list students that I did not directly advise but in whose thesis committees I was a member when they defended (some of them were also collaborators):
- Sumant Kowshik (summer 2006; adviser Lui Sha)
- Clemens Kupke (summer 2006; adviser Jan Rutten)


