Systems Analysis & Verification

Staff

- Aarti Gupta
- Gogul Balakrishnan
- Malay Ganai
- Franjo Ivančić
- Vineet Kahlon
- Weihong Li
- Naoto Maeda
- Nadia Papakonstantinou
- 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 2009
- Daniel Luchaup (U. Wisconsin) - Jing Yang (U. Virginia) - Sicun Gao (CMU) - Rhishkesh Limaye (UC Berkeley)

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 Wang (UC Santa Barbara)
- Ou Wei (U. Toronto)