Program Analysis Interns

Our work has benefitted from these members of our intership program:

2006

•	Marwan abi Antoun (Carnegie Mellon)
•	Michael Furr (Maryland)
•	Anna Gringauze (U Washington)

2005

•	Brian Hackett (Cornell/Stanford)
•	Aquinas Hobor (Princeton)
•	Henning Rohde (BRICS, Denmark)
•	Frances Spalding (Princeton)
•	Jinlin Yang (Virginia)

2004

•	Dinakar Dhurjati (Illinois Urbana-Champaign)
•	Brian Hackett (Cornell/Stanford)
•	Ted Kremenek (Stanford)
•	Manu Sridharan (UC Berkeley)

2003

•	Brian Hackett (Cornell)
•	Roman Manevich (Tel Aviv)

2002

•	Hao Chen (UC Berkeley)
•	Nurit Dor (Tel Aviv)
•	Seth Hallem (Stanford)

2001

•	Gayle Laakmann (Penn)
•	Sorin Lerner (U Washington)
•	Mark Seigle (U Washington)

2000

•	Ben Liblit (UC Berkeley)

Visitors 2000

•	Markus Mock (U Washington)

1999

•	Suan Yong (U Wisconsin)

1998

•	Deepak Goyal (NYU)