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.

Links to my CV and Research Statement.



Journal Publications



Teaching Experiences

Other Activities