About me

My name is Gabor Madl (Resume). You have ended up on my website at University of California, Irvine, dedicated to my research on applying formal methods to distributed real-time embedded (DRE) systems and multi-processor system-on-chips (MPSoCs).

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 is a Ph.D. student in Computer Science at the Center for Embedded Computer Systems at UC Irvine. He is a member of Professor Nikil Dutt's research group on embedded systems. Gabor is the project leader of the open-source DREAM and Alderis@UCI projects. He received his M.S. in computer engineering from the Budapest University of Technology and Economics in Hungary and in computer science from Vanderbilt University, Tennessee.