Keynote Speakers

Scheduled keynote talks (click for full abstract and bio):

Using Formal Methods to Eliminate Exploitable Bugs
Kathleen Fisher, Tufts University

Where Formal Methods Might Find Application on Future NASA Missions
Michael L. Aguilar, NASA Technical Fellow

Murphy Was Here
Kevin Driscoll, Honeywell