FMCAD 2013 Panels

---

Date: Tuesday, 22 October, 2013
Time: 17:00-18:00

Title: Teaching Formal Methods: Needs, Challenges, Experiences, and Opportunities

Moderator: Panagiotis Manolios, Northeastern University

Abstract: Formal Methods have had a transformative impact on areas such as hardware design and are poised to similarly transform how safety critical systems are designed and implemented. According to a recent study, one of the major barriers to the adoption of formal methods in industry is education. The industrial success of formal methods is currently not reflected in the university curriculum. This panel discussion will include representatives from industry, academia, and government. We will discuss (1) industrial needs, (2) challenges and experiences in teaching formal methods in higher education, and (3) how to respond to this opportunity as a community.

---

Panelists:

• Jason Baumgartner, IBM
• Mike Durling, GE
• Alwyn Goodloe, NASA
• Pete Manolios, Northeastern University
• Vigyan Singhal, Oski
• Moshe Vardi, Rice University
• Helmut Veith, Vienna University of Technology

---

See the program for the complete FMCAD'13 schedule.