Scott A. Smolka

Back to Faculty Directory

Scott A. Smolka
 Professor
Computer Science Department
1423 Computer Science
Stony Brook University
Stony Brook, NY 11794-4400

Phone: (631) 632-8453
Email
Personal Web Page
Degree: Ph.D. Computer Science - Brown University, 1984
Research Topics: Model checking, semantics of concurrency, CASE tools for safety-critical systems, distributed languages and algorithms .
Teaching Summary: CSE/ISE 305, CSE 306, CSE 523, CSE 524, CSE 532, CSE 635, CSE 653, CSE 673.
Department of Computer Science • Stony Brook University, Stony Brook, NY 11794-4400 • 631-632-8470 or 631-632-8471

 Stony Brook University Home Page    |    Search Stony Brook   |   SOLAR