Yi-Chin Wu

University of California, Berkeley
545S Cory Hall

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


I am 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. I spend most of my time in Berkeley and visit Michigan once every few months.

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