Karl Levitt

Cybersecurity, software engineering, formal methods, machine learning, computer security

Levitt is interested in a broad range of topics associated with cybersecurity, addressing fundamental models, security solutions including approaches to reasoning about their correctness, all driven by applications for which security is a pressing requirement. A primary focus of his research is “resilience”, the goal of which are systems that can withstand attacks, possibly previously unseen, to provide an expected service with minimal interruption; the attainment of resilience depends on methods for detection, automated responses to stem future progression of an attack, and recovery to an operational state. Among the applications he is currently considering are autonomous vehicles including the infrastructures that support them, large-scale water delivery systems and other cyber physical systems including approaches to their verification with respect to security requirements.