SPIR - Stony Brook University
SPIR - Stony Brook University
SPIR - Stony Brook University
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
78<br />
Eugene W. Stark<br />
Professor<br />
Address<br />
Department of Computer Science<br />
Computer Science 1414<br />
<strong>Stony</strong> <strong>Brook</strong> <strong>University</strong><br />
<strong>Stony</strong> <strong>Brook</strong>, NY 11794-4400<br />
Phone: (631) 632-8444 Fax: (631) 632-8334<br />
E-mail: stark@cs.sunysb.edu<br />
Education<br />
w Ph.D. in Computer Science, Massachusetts Institute of Technology, 1984<br />
w S.M. in Electrical Engineering and Computer Science, Massachusetts Institute of<br />
Technology, 1980<br />
w B.E.S. in Electrical Engineering,The Johns Hopkins <strong>University</strong>, 1977<br />
Past and Present Research Interests<br />
Program Semantics and Verification n Distributed Systems n Programming<br />
Languages n Theory of Concurrency n Operating Systems<br />
Support by Funding Agencies and Industry<br />
National Science Foundation n Air Force Office of Scientific Research n Army<br />
Research Office<br />
Courses Taught<br />
CSE 113: Foundations of Computer Science<br />
CSE 219: Computer Science III<br />
CSE 230: C and UNIX<br />
CSE 303:Theory of Computation<br />
CSE 304: Compiler Design Operating Systems<br />
CSE 307: Programming Languages<br />
CSE 541:Theoretical Foundations of Computer Science<br />
CSE 551: Program Semantics and Verification<br />
Honors and Awards<br />
Academy of Teacher-Scholars (<strong>Stony</strong> <strong>Brook</strong>), 2000-2003<br />
Finalist: Long Island Software Awards, 1997<br />
Publications<br />
8 Journal Articles<br />
23 Conference Papers<br />
1 Books/Book chapters<br />
Research Facilities<br />
Concurrency and Verification Laboratory (with R. Cleaveland and S. Smolka)<br />
FACULTY PROFILES