I am a 3rd 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 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. 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
Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, Edward A. Lee. A PRET Microarchitecture Implementation with Repeatable Timing and Competitive Performance, To appear 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.