Yi-Chin Wu

ycwu [at] umich [dot] edu
yichin.wu [at] berkeley [dot] edu


Starting in May 2016, I am joining Pure Storage as a software engineer!


Before joining Pure Storage, I was a postdoctoral researcher at the TerraSwarm Research Center, working with Prof. Stéphane Lafortune at the University of Michigan and Prof. Sanjit Seshia at UC Berkeley. My work focuses on the synthesis of obfuscators that provably guarantee privacy and utility.

I earned my Ph.D. degree in August 2014 in EECS Systems Laboratory (EE:S) at the University of Michigan, where I was working in the Discrete Event Systems (DES) group supervised by Prof. Stéphane Lafortune. After my graduation, I joined the TerraSwarm Research Center.

My research interest lies at the intersection of control, formal synthesis, and network security. Specifically, center to my research is a privacy notion called "opacity" formulated with automata models. Opacity means the impossibility for an outside attacker to derive the true value of the secret in a given system. My work explores algorithmic methods for designing and controlling systems that guarantee the desired opacity specifications.

Link to my CV.



Journal Publications



Teaching Experiences

Other Activities