Current Group Members

 

Isil Dillig

Faculty member

Jon Stephens

PhD student

 

Jocelyn Chen

PhD student

 

Kostas Ferles

PhD Student

 

Yuepeng Wang

PhD student

Xinyu Wang

PhD student

 

Jia Chen

PhD student

Greg Anderson

PhD student

Jiayi Wei

PhD student

Rong Pan

PhD student

Shankara Pailoor

PhD student

James Dong

Undergraduate student

Rushi Shah

Undergraduate student

 

 

Alumni

Valentin Wüstholz

Former post-doc, now at ConsenSys Diligence

Oswaldo Olivo

Former PhD student, now at Microsoft

Ruben Martins

Former Post-doc, now
Research Scientist at CMU

Jacob Van Geffen

Former undergraduate,
now PhD student at UW

Navid Yaghmazadeh

Former PhD student and post-doc,    now at Oracle

 

 

Yu Feng

Former PhD Student, now Assistant Professor at UCSB