About me
My name is Gabor Madl (Resume, LinkedIn profile). I am an R&D Scientist at Honeywell Aerospace Advanced Technology. I am involved in developing tools and methods to automate the certification of flight-critical software, and the formal analysis of mixed time- and event-driven communication protocols (TTEthernet and variants). 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.
Bio
Gabor Madl is an R&D Scientist at Honeywell Aerospace Advanced Technology. He has 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. Gabor's 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. His research was recently selected for the 2009 National Science Foundation Computing Innovation Fellows Award, that he was unable to accept due to joining Honeywell. Gabor has worked as an engineer for Google, Fujitsu Laboratories of America, ARM, and has created the open-source DREAM and ALDERIS projects.