I am a junior specialist working at University of California, Berkeley with Professor Sanjit Seshia. I graduated from UC Berkeley majoring in Electrical Engineering and Computer Science in December of 2011.

Since 2009, I have worked on multiple projects with Professor Sanjit Seshia and Professor Edward Lee. My projects are mainly focused on formal methods, synthesis and verification, program analysis and cyber-physical systems.


Contact Information:

545S Cory Hall

Berkeley, CA 94720