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 collaborating with Prof. Edward Lee and Prof. Sanjit Seshia at UC Berkeley. I am working at Berkeley most of the time.

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 network security, formal verification, and control synthesis. Specifically, my research focuses on a privacy notion called "opacity" that is 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