People
Faculty
Current Students
Instructions for new FSL members.
(Listed in reverse order of the date when they left FSL)
- Ali Kheradmand (PhD)
- Daejun Park (PhD)
- Owolabi Legunsen (PhD)
- Cosmin Radoi (PhD)
- Brandon Moore (PhD)
- Andrei Stefanescu (PhD)
- Shijiao Yuwen (PhD - took a leave in Fall 2016)
- He Xiao (PhD - took a leave in Fall 2016)
- Qingzhou Luo (PhD)
- Philip Daian (Undergrad)
- Liyi Li (PhD) (switched groups)
- Cansu Erdogan (MS)
- Jeff Huang (postdoc)
- Michael D. Adams (postdoc)
- Patrick Meredith (Postdoc, PhD)
- Choonghwan Lee (PhD)
- Dwight Guth (MS)
- David Lazar (Undergrad)
- Traian Florin Serbanuta (PhD)
- Chucky Ellison (PhD)
- Dongyun Jin (PhD)
- Codruta Girlea (switched groups)
- Michael Ilseman (Undergrad)
- Dennis Griffith (switched groups)
- Mark Hills (PhD)
- Feng Chen (PhD)
- Yaniv Eytani (MS)
- Andrei Popescu (switched groups)
- Andrew Bennett (MS)
- Marcelo d’Amorim (switched groups)
- Ram Prasad Venkatesan (MS)
Visiting Scholars
(Listed alphabetically)
Alphabetically:
- Saddek Bensalem (VERIMAG Grenoble, France) - summer 2005, fall 2005
- Axel Legay (IRISA Rennes, France) - fall 2010
- Dorel Lucanu (University of Iasi, Romania) - winter 2005/spring 2006, winter 2007/spring 2008, winter 2008
- Soha Hussein (University of Ain Shams, Egypt) - 2009-2011
- Elena Naum (Alexandru-Ioan cuza University, Romania) - 2010
- Sophie Quinton (used to be at IRISA Rennes, France) - spring 2005
- Vlad Rusu (IRISA Rennes, France) - summer 2005
- Gheorghe Ștefănescu (University of Bucharest, Romania) - 2008
- Fan Zhang (Northwestern Polytechnical University, China) - 2013
- Zhiqiang Liu (Northwestern Polytechnical University, China) - 2013
- Denis Bogdanas (University of Iasi, Romania) - 2014
- Radu Mereuta (University of Iasi, Romania) - 2014
Formal Systems Laboratory