College of Engineering and Applied Sciences

College of Engineering and Applied Sciences

Home ► People ► Faculty ► Scott Smolka

Scott Smolka

Back to Faculty Directory

Scott Smolka
Distinguished Professor

Department of Computer Science
Room 249
Stony Brook, NY 11794-2424

Phone: 
(631) 632-8453
Website (URL): 
https://www3.cs.stonybrook.edu/~sas/
Email: 
sas@cs.sunysb.edu

Interests

Model Checking, Semantics of Concurrency, CASE Tools for Safety-Critical Systems, Distributed Languages and Algorithms

Biography

Scott A. Smolka earned his Ph.D. in Computer Science from Brown University in 1984; M.A. and B.A. in Mathematics from Boston University in 1977 and 1975, respectively.

Research

Scott Smolka has the following research projects:

  • The LMC Project: Logic-Programming-Based Model Checking
  • High-Confidence Operating Systems (HCOS)
  • Center for Cyber-Security
  • The Monte Carlo Software Model Checker
  • Excitable Hybrid Automata

Awards

Scott A. Smolka is a recipient of the Fellow of the European Association of Theoretical Computer Science, since 2016; Research Excellence Award, Department of Computer Science, Stony Brook University, 2012; Best Paper Award, Second International Conference on Runtime Verification (RV’11), 2011; 2008-2009 President/Chancellor’s Award for Excellence in Scholarship and Creative Activities, 2009; Computer Science Department Certificate of Appreciation for departmental, university and community service, especially his leadership role in CS@35, the day-long event/fundraiser celebrating the Computer Science Department’s 35th anniversary, 2006.

Teaching Summary

CSE/ISE 305, CSE 306, CSE 523, CSE 524, CSE 532, CSE 635, CSE 643, CSE 653, CSE 673