I am a 5th 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.
My research interests include the design and verification of embedded systems, with a focus on hard and mixed-criticality 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. I am currently involved in the PRET and PTIDES 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
Michael Zimmer, David Broman, Chris Shaver, Edward A. Lee, FlexPRET: A Processor Platform for Mixed-Criticality Systems, in Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), April, 2014.
David Broman, Michael Zimmer, Yooseong Kim, Hokeun Kim, Jian Cai, Aviral Shrivastava, Stephen A. Edwards, and Edward A. Lee, Precision Timed Infrastructure: Design Challenges, in Proceedings of the Electronic System Level Synthesis Conference (ESLsyn), Austin, Texas, USA, May 31-June 1, 2013.
Patricia Derler, John C. Eidson, Stuart Goose, Edward A. Lee, Slobodan Matic, Michael Zimmer, Using Ptides and Synchronized Clocks to Design Distributed Systems with Deterministic Systemwide Timing, International IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication, September, 2013. Technical Report No. UCB/EECS-2013-65.
Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, Edward A. Lee, A PRET Microarchitecture Implementation with Repeatable Timing and Competitive Performance, in Proceedings of International Conference on Computer Design (ICCD), October, 2012.
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.