Gabor Madl

Current

• R&D Scientist at Honeywell

Education

• University of California, Irvine
• Vanderbilt University
• Budapesti Mûszaki és Gazdaságtudományi Egyetem

Connections

87 connections

Industry

Aviation & Aerospace

Websites

• My Website
• Open-source DREAM Tool
• ALDERIS Project

Gabor Madl’s Summary

Developed methods and tools for the model-based verification and performance analysis of distributed real-time embedded systems. Research acknowledged by awards from ACM and NSF.

Gabor Madl’s Specialties:

Model-based design, real-time analysis, formal verification.

Gabor Madl’s Experience

• R&D Scientist

  Honeywell

  (Public Company; HON; Industrial Automation industry)

  August 2009 — Present (4 months)

  Working on Honeywell's next-generation avionics platform. Applying model-based design and analysis methods to mission-critical aerospace systems.

Additional Information

Gabor Madl’s Websites:

• My Website
• Open-source DREAM Tool
• ALDERIS Project

Gabor Madl’s Honors:

2009: National Science Foundation Computing Innovation Fellow Award. 60 post-doctoral research grants awarded, 526 Ph.D. applicants from U.S. universities (~11.4% acceptance rate). Did not accept, joined Honeywell.

2007: The ACM SIGBED Frank Anger Memorial Award for promoting the crossover of ideas between the embedded software and software engineering communities.

Gabor Madl’s Contact Settings

Interested In:

• career opportunities
• consulting offers
• new ventures
• job inquiries
• expertise requests
• business deals
• reference requests
• getting back in touch