About me
My name is Gabor Madl (Resume). I am a recent Ph.D. graduate from the University of California, Irvine. I am currently looking for a full-time position, where I could leverage my skills in embedded systems' design. For a summary of my work at UC Irvine, please see my Ph.D. dissertation and final defense.
Gabor Madl: Model-based Analysis of Event-driven Distributed Real-time Embedded Systems, Ph.D. Dissertation, University of California, Irvine, June 2009.
Gabor Madl: Model-based Analysis of Event-driven Distributed Real-time Embedded Systems, Final Defense Presentation, University of California, Irvine, May 2009.
Research focus
Key challenges in the design of embedded systems include the early evaluation of design alternatives, the safe composition of system components, and the formal analysis of real-time properties. My research is focused on the combination of formal methods and simulations for the model-based analysis of embedded systems, providing a way for the functional verification and performance estimation of design alternatives at an early stage in the design flow.
Bio
Gabor Madl received his Ph.D. degree in Computer Science from the University of California, Irvine in 2009. His research is focused on the combination of formal methods and simulations for the model-based analysis of distributed real-time embedded systems. His research was recognized by the 2007 Frank Anger Memorial Award, which he received for promoting the crossover of ideas between the embedded software and software engineering communities. Gabor has worked as an engineer for Google, Fujitsu Laboratories of America, ARM, and has created the open-source DREAM and ALDERIS projects.