Scott A. Smolka

Scott A. Smolka is a Professor in the Department of Computer Science at Stony Brook University. His research focuses on Model Checking, Semantics of Concurrency, CASE Tools for Safety-Critical Systems, and the Safety and Security of Medical Devices and Cyber-Physical Systems.

Education:

• Ph.D. in Computer Science from Brown University (1984)
• M.A. in Mathematics from Boston University (1977)
• B.A. in Mathematics from Boston University (1975)

Scott Smolka leads several research projects, including the LMC Project (Logic-Programming-Based Model Checking), High-Confidence Operating Systems (HCOS), the Center for Cyber-Security, the Monte Carlo Software Model Checker, and Excitable Hybrid Automata.

Scientific Awards:

• Fellow of the European Association of Theoretical Computer Science (2016)
• Research Excellence Award, Stony Brook University (2012)
• Best Paper Award, RV'11 International Conference (2011)
• President/Chancellor’s Award for Excellence in Scholarship and Creative Activities (2009)
• Computer Science Department Certificate of Appreciation (2006)

He has taught courses such as CSE/ISE 305, CSE 306, CSE 523, and CSE 673, covering advanced topics in computer science and software verification.