About Me:

I am a 2nd year graduate student in the EECS department at UC Berkeley, being advised by Professor Edward A. Lee. I received my B.S. degree in Electrical Engineering from UC Santa Barbara in the spring of 2010.

Research Interests:

My research interests include the design and verification of embedded systems, with a focus on distributed real-time systems. In particular I am interested in how various methods of abstraction and tools can simplify and automate the design and verification of such systems.

Projects:

• PTIDES on Multicore: Simulation and Optimization
• Pt1588: Open-source implementation of the IEEE 1588 Precision Time Protocol for Real-Time Distributed Systems
• Implementation of Clustering Algorithms in DAGs
• SMT Solving for Nonlinear Constraints by Integrating CalCS and Interval Constraint Propagation

Publications:

Slobodan Matic, Ilge Akkaya, Michael Zimmer, John C. Eidson and Edward A. Lee. PTIDES Model on a Distributed Testbed Emulating Smart Grid Real-Time Applications. In Proceedings of the IEEE Conference on Innovative Smart Grid Technologies (ISGT-EUROPE), 2011.

Aaron A. Rowe, Andrew J. Bonham, Ryan J. White, Michael P. Zimmer, Ramsin J. Yadgar, Tony M. Hobza, Jim W. Honea, Ilan Ben-Yaacov, Kevin W. Plaxco. CheapStat: An Open-Source, "Do-It-Yourself" Potentiostat for Analytical and Educational Applications". PLoS One, 2011.

Resume:

PDF

Name: Michael Zimmer
Email: mzimmereecs.berkeley.edu
Office: 545L Cory Hall

© 2011 Michael Zimmer