Scott A. Smolka Professor Address Department of Computer Science Computer Science Building 1423 Stony Brook University Stony Brook, NY 11794-4400 Phone: (631) 632-8453          Fax: (631) 632-8334 E-mail: sas@cs.sunysb.edu Education Ph.D. in Computer Science, Brown University, Providence, Rhode Island, 1984 A.M. in Mathematics, Boston University, Boston, Massachusetts, 1977 A.B. in Mathematics, Boston University, Boston, Massachusetts, 1975 Past and Present Research Interests Formal Methods and Automatic Tools for Computer-Aided Verification of Safety-Critical      And Embedded Systems Distributed Languages and Algorithms Support by Funding Agencies and Industry  National Science Foundation Army Research Office Office of Naval Research Courses Taught CSE 635: Computer-Aided Verification CSE 375: Concurrency Publications/Patents 23 Journal articles 76 Conference papers 11 Books/Book Chapters 1 Patent Research Facilities Concurrency and Verification Laboratory Applied Logic Laboratory