Eugene W. Stark Professor Address Department of Computer Science 1414 Computer Science Building Stony Brook University Stony Brook, NY 11794-4400 Phone: (631) 632-8444 Fax: (631) 632-8334 Email: stark@cs.sunysb.edu Education Ph.D. in Computer Science, Massachusetts Institute of Technology, 1984 S.M. in Electrical Engineering and Computer Science Massachusetts Institute of Technology, 1980 B.E.S. in Electrical Engineering, The Johns Hopkins University, 1977 Past and Present Research Interests Program Semantics and Verification - Distributed Systems - Programming Languages       Theory of Concurrency - Operating Systems Support by Funding Agencies and Industry  National Science Foundation - Air Force Office of Scientific Research - Army Research Office Courses Taught CSE 113: Foundations of Computer Science - CSE 219: Computer Science III  CSE 230: C and UNIX - CSE 303: Theory of Computation CSE 304: Compiler Design Operating Systems CSE 307: Programming Languages - CSE 541: Theoretical Foundations of Computer Science CSE 551: Program Semantics and Verification Honors and Awards Academy of Teacher-Scholars (Stony Brook), 2000-2003 Finalist: Long Island Software Awards, 1997 Publications/Patents 8 Journal Articles 23 Conference Papers 1 Books/Book chapters Research Facilities Concurrency and Verification Laboratory (with R. Cleaveland and S. Smolka)