I received a PhD degree from the Electrical Engineering and Computer Sciences (EECS) department at UC Berkeley, advised by Prof. Sanjit Seshia and Prof. Alberto Sangionvanni-Vincentelli. I received a Bachelor of Sciences degree (Major: ECE, Minor: Mathematics) from Duke University, where I was advised by Prof. Miroslav Pajic and Prof. Guillermo Sapiro.

Education

  • I am a recipient of the National Science Foundation (NSF) Graduate Fellowship.

  • I received the UC Berkeley’s EECS departmental award (Sevin Rosen Funds Award) for Innovative Research towards my final years of PhD.

  • I received a fellowship from the UC Berkeley’s Collaborative Sciences Center for Road Safety (CSCRS) Graduate Student Fellows Program.

Fellowships & Awards

I enjoy and appreciate industrial collaborations as they often shine insights to practical and challenging problems. Through UC Berkeley’s industrial partnership programs, I have annually submitted research proposals and, gratefully, received fundings to collaborate with various industries.

Industrial Collaborations

  • Microsoft Research Internship, advised by Siddartha Sen and Shuvendu Lahiri in the summer of 2021.

  • AMES NASA Research Center, advised by Divya Gopinath and Corina Pasareanu in the summer of 2019.

Research Internships

Painting by Elizabeth Polgreen

I had the privilege of serving in the South Korea’s Air Force for two years. To me, military service was like a MBA program where I learned to manage people in practice through trials and errors. I served as a barrack leader of the Logistics Command Center, commanding 30 soldiers. I was honorably discharged as a sergeant. This experience was hugely helpful as I supervised multiple undergraduates during my graduate study.

Military Service