People

From FSL

Grigore Rosu (faculty)
Feng Chen	Chucky Ellison	Yaniv Eytani	Mark Hills
Dongyun Jin	Patrick needs a camera Patrick Meredith	Traian Florin Şerbănuţă

[edit] Former Students

Andrei Popescu

Andrew Bennett

Marcelo d'Amorim

Sanjit Saluja

Ram Prasad Venkatesan

[edit] Visiting Scholars

Saddek Bensalem (VERIMAG Grenoble, France) - summer 2005, fall 2005

Dorel Lucanu (University of Iasi, Romania) - winter/spring 2006, winter/spring 2008

Sophie Quinton (used to be at IRISA Rennes, France) - spring 2005

Vlad Rusu (IRISA Rennes, France) - summer 2005

Gheorghe Stefanescu (University of Bucharest, Romania) - 2008

[edit] Collaborators (past and present)

Saddek Bensalem (VERIMAG, France)

Dorel Lucanu (University of Iasi, Romania)

Jose Meseguer (UIUC)

Azadeh Farzan (UIUC)

Klaus Havelund (NASA JPL)

Sumant Kowshik (UIUC -> Coverty Inc)

Sophie Quinton (used to be at IRISA Rennes, France)

Vlad Rusu (IRISA Rennes, France)

Lui Sha (UIUC)