Chris CasinghinoPrincipal Member of the Technical Staff at Draper
Chris is a Principal Member of Technical Staff at Draper, where his research interests include formal methods, programming languages, and cybersecurity. He has led teams developing new languages and formal verification tools as a Principal Investigator on programs including DARPA SSITH, ONR TPCP, and DARPA HACMS. On DARPA SSITH, Draper is developing a tagged architecture that employs the policy language described in this talk. Chris is a co-author of ``Software Foundations'', a textbook on formal verification, and serves on the corporate advisory board of the NSF ``Deep Spec'' expedition, which is developing new tools and techniques to verify the full functional correctness of software and hardware. He received his Ph.D. from the University of Pennsylvania in 2014 for work on making advanced type systems more usable.