Grigore Rosu - Students and Collaborators
From FSL
(back to Grigore Rosu's page)
This page attempts to mention all my students and collaborators. Please forgive me and let me know if you are one of these and I forgot to mention you. In the case of students, I only list the periods in which they were students and collaborated with me. Many of them are not students anymore and some still collaborate with me. If you click on a name you can see the latest information I have about him or her. If you are one of these (former) students, please let me know your new coordinates if the information below is not precise.
| Current Students |
|---|
I am currently the advisor of the following graduate students (ordered by when they became my students):
- Feng Chen - PhD - Joined FSL in 2002.
- Mark Hills - PhD - Joined FSL in 2004.
- Traian Florin Serbanuta - PhD - Joined FSL in 2004.
- Chucky Ellison - PhD - Joined FSL in 2007.
- Patrick Meredith - PhD - Joined FSL in 2007.
- Dongyun Jin - PhD - Joined FSL in 2007.
- Choonghwan Lee - PhD - Joined FSL in 2008.
| Close Collborators |
|---|
Common scientific interests with the following colleagues and good friends have led to a series of joint publications, in the order of 5 or more, or interesting software systems developed (listed alphabetically, with links to their current pages):
- Gul Agha (predictive runtime analysis, distributed monitoring)
- Virgil Emil Cazanescu, my M.S. Adviser (inclusion systems)
- Feng Chen (runtime verification, rewriting logic semantics)
- Joseph Goguen, my PhD Adviser (hidden logic, BOBJ, institutions)
- Klaus Havelund (runtime verification)
- Mark Hills (rewriting logic semantics)
- Dorel Lucanu (hidden logic, CIRC)
- Jose Meseguer (rewriting logic semantics, Maude)
- Koushik Sen (runtime verification)
- Traian Florin Serbanuta (predictive runtime analysis, rewriting logic semantics)
| Alumni |
|---|
The following students graduated under my direct supervision (reverse chronological order by graduation date):
- Andrew Bennett (UIUC 2005-2006, M.S.). Now at ITA Software in Cambridge, USA.
- Ram Prasad Venkatesan (UIUC 2002-2004, M.S.). Now at Microsoft in Redmond, USA.
| Former Students |
|---|
I was the adviser of the following graduate students for some period of time, specified in parentheses (reverse chronological order by leaving date):
- Yaniv Eytani (UIUC 2006-2008).
- Andrei Popescu (UIUC 2004-2006). Advised by Elsa Gunter after 2006.
- Sanjit Saluja (UIUC 2004-2005).
- Marcelo d'Amorim (UIUC 2004-2005). Advised by Darko Marinov after 2005.
- Sophie Quinton (UIUC 2004 and 2005 summer internships, from INRIA Rennes and ENS Cachan, France).
- Laurentiu Leustean (NASA 2002 summer internship, from the University of Bucharest, Romania).
- Scott Johnson (NASA 2001 summer internship, from the University of Wyoming, USA).
| Collaborator Students |
|---|
My close collaboration with the following students resulted in joint papers, but I was not their adviser (reverse chronological order by the start date of our collaboration):
- Rodolfo Pellizzoni (UIUC 2007-2008). Advised by Marco Caccamo.
- Abhay Vardhan (UIUC 2005-2006). Advised by Mahesh Viswanathan.
- Sumant Kowshik (UIUC 2005-2006). Advised by Lui Sha.
- Azadeh Farzan (UIUC 2003-2006). Advised by Jose Meseguer.
- Prasannaa Thati (UIUC 2003-2004). Advised by Gul Agha.
- Koushik Sen (UIUC 2002-2006). Advised by Gul Agha.
| Thesis Committee |
|---|
I was in the PhD thesis commitees of the following students, but I was not their adviser (reverse chronological order by thesis defense date):
- Azadeh Farzan (UIUC 2006; adviser Jose Meseguer). CMU >> U of Toronto.
- Hui Ding (UIUC 2006; adviser Lui Sha).
- Ajay Sudarshan Tirumala (UIUC 2006; adviser Lui Sha). NVIDIA.
- Sumant Kowshik (UIUC 2006; adviser Lui Sha). Coverity.
- Koushik Sen (UIUC 2006; adviser Gul Agha). UC Berkeley.
- Clemens Kupke (Amsterdam 2006; adviser Jan Rutten). CWI.
- Abhay Vardhan (UIUC 2005; adviser Mahesh Viswanathan). Google.
- Hong-Seok Kim (UIUC 2004; adviser Wen-Mei W. Hwu).
- Yixin Chen (UIUC 2005; adviser Benjamin W. Wah). Washington University.
- Girish Baliga (UIUC 2005; P.R. Kumar). Google.
| Co-Authors and Co-Editors |
|---|
Here are all my co-authors and co-editors, including students or former students. They are listed in alphabetical order.
- Gul Agha
- Marcelo d'Amorim
- Cyrille Artho
- Florin Baboescu
- Thomas Ball
- Howard Barringer
- Saddek Bensalem
- Mark van den Brand
- Samuel Buss
- Marco Caccamo
- Virgil Emil Cazanescu
- Feng Chen
- Grit Denker
- Doron Drusinski
- Steven Eker
- Azadeh Farzan
- Bernd Fischer
- Sudipto Ghoshal
- Joseph Goguen
- Allen Goldberg
- Grigore Grigoras
- Klaus Havelund
- Mark Hills
- Dongyun Jin
- Sumant Kowshik
- Sarfraz Khurshid
- Laurentiu Leustean
- Kai Lin
- Patrick Lincoln
- Mike Lowry
- Dorel Lucanu
- Solaiappan Manimaran
- Narciso Marti-Oliet
- Patrick Meredith
- Jose Meseguer
- Akira Mori
- Manuel Nunez
- Corina Pasareanu
- Andrei Popescu
- Thomas Pressburger
- Ram Prasad Venkatesan
- Pierre Salverda
- Akiyoshi Sato
- Johann Schumann
- Koushik Sen
- Traian Florin Serbanuta
- Lui Sha
- Sumeet Singh
- Oleg Sokolsky
- Gheorghe Stefanescu
- Carolyn Talcott
- Prasanna Thati
- Dean M. Tullsen
- Abhay Vardan
- Willem Visser
- Mahesh Viswanathan
- Bogdan Warinschi
- Rich Washington
- Jonathan Whittle
- Burkhart Wolff
- Craig Zilles


