Yi-Chin Wu

University of California, Berkeley
545W Cory Hall

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


I am a postdoctoral researcher at the TerraSwarm Research Center, affliated with University of Michigan and UC Berkeley. From September 2014 to August 2015, I'm 90% sitting in Cory Hall at Berkeley.

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. My research interest lies at the intersection of network security and control synthesis. In my PhD thesis, I address the verification and synthesis of secure networked systems in the formulation of Discrete Event Systems. Specifically, based on the use of automata models, my work involves in constructing models, characterizing desirable security specifications, developing verification algorithms and enforcement algorithms to achieve the desired security specifications.

Links to my CV, Dissertation Abstract, Research Statement.


Journal Publications



Teaching Experiences

Other Activities