Software & systems engineering and their applications.
file
Abstract:
Ongoing breakthroughs in nationally important research areas like Verification and Artificial Intelligence depend on continuing advances in high-performance automated theorem proving tools. The typical use of these tools is as backends: application problems are translated by an application tool into (typically very large and complex) logic formulas, which are then handed off to a logic solver. Different tradeoffs between linguistic expressiveness and the difficulty of solving the resulting problems give rise to different logics.
file
Darren Cofer is a Principal Systems Engineer with Rockwell Collinsi Advanced Technology Center. He received the Ph.D. in Electrical and Computer Engineering from The University of Texas at Austin. His principal area of expertise is applying formal methods and tools to the verification and certification of high-integrity avionics systems. He is the principal investigator for the air vehicle team in DARPA's High Assurance Cyber Military Systems project, focusing on formal proof of security properties for unmanned air vehicles.
file
Julian M. Goldman, MD is Medical Director of Biomedical Engineering for Partners HealthCare System, a practicing anesthesiologist at the Massachusetts General Hospital, and Director of the Program on Medical Device Interoperability at MGH and CIMIT (Center for Integration of Medicine and Innovative Technology).
