People

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

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