Carl has focused on cyber security research for over 35 years. Early in system security research, his results organized and advanced the field of formal models for computer security. Later, he provided an influential taxonomy for security flaws and incorporated that work with the broader field of dependable computing in a landmark paper. His publications include highly influential articles in IEEE and ACM Transactions and top tier conferences.
In the past ten years he has shaped research in the entire field of cybersecurity through creation and management of broad, innovative research programs at the National Science Foundation (NSF) and the Intelligence Advanced Research Projects Agency (IARPA) and through editorials in IEEE Security & Privacy Magazine. In 2012, he was inducted into the first class of 11 members of the National Cyber Security Hall of Fame, selected from over 300 initial nominees. As a Visiting McDevitt Professor at Le Moyne, Carl offered a new course titled "Cybersecurity for Future Presidents" in the spring of 2015.
Return to Computer Science.
Return to The McDevitt Center.