Department of Systems Analysis & Verification
- STAFF
NEC Laboratories America, Inc., Princeton Campus
- Aarti Gupta
- Gogul Balakrishnan
- Malay Ganai
- Franjo Ivančić
- Vineet Kahlon
- Weihong Li
- Nadia Papakonstantinou
- Sriram Sankaranarayanan
- Nishant Sinha
- Chao Wang
Interns
Every year, our group hosts many talented student researchers from around
the world. Here is a list of our most recent summer interns.
Summer 2008
- Bill Harris (U. Wisconsin)
- Divya Krishnan (UMass Amherst)
- Sudipta Kundu (UC San Diego)
- Guodong Li (U. Utah)
- Truong Nghiem (U Penn)
- Suresh Thummalapenta (NCSU)
- Aliaksei Tsitovich (U. Lugano)
- Yu Yang (U. Utah)
- Fang Yu (UC Santa Barbara)
- Yun Zhang (Princeton U)
Summer 2007
- Richard Chang (UT Austin)
- Jyotirmoy Deshmukh (UT Austin)
- Arun Kejriwal (UC Irvine)
- Sudipta Kundu (UC San Diego)
- Pritam Roy (UC Santa Cruz)
- Jan Voung (UC San Diego)
- Fang Yu (UC Santa Barbara)
- Ou Wei (U. Toronto)
|
