Scott Smolka
Scott A. Smolka is a SUNY Distinguished Professor in the Department of Computer Science at Stony Brook University, Stony Brook, New York.
Prof. Smolka was born in Jackson Heights, New York. He obtained his Bachelor's and Master’s degrees in Mathematics from Boston University in 1975 and 1977, respectively, and his Ph.D. in Computer Science from Brown University, Providence, RI, in 1984. Before joining Stony Brook, Smolka was a Scientific Analyst at Aerospace Systems, Inc., Burlington, MA. Smolka's research spans the formal modeling and analysis of cyber-physical and biological systems, model checking, process algebra, and runtime verification. He is perhaps best known for the algorithm he and Paris Kanellakis developed for deciding Milner's bisimulation. Smolka is a Fellow of the European Association for Theoretical Computer Science (EATCS).
Awards and honors[edit]
- Appointed SUNY Distinguished Professor, Nov. 2016.
- EATCS Fellow for “fundamental contributions in formal modeling and analysis”, since Feb. 2016.
- Name added to Stony Brook University’s Faculty Honor Wall, July 2017.
- Joint CONCUR-QEST-FORMATS 2016 Invited Speaker]
- 2008-2009 SUNY President/Chancellor’s Award for Excellence in Scholarship and Creative Activities.
External links[edit]
 |
Wikimedia Commons has media related to [[commons:Lua error in Module:WikidataIB at line 466: attempt to index field 'wikibase' (a nil value).|Lua error in Module:WikidataIB at line 466: attempt to index field 'wikibase' (a nil value).]]. |
- Scott Smolka's homepage
- Scott Smolka’s publications indexed by Google Scholar
 | This biographical article relating to a computer specialist in the United States is a stub. You can help EverybodyWiki by expanding it. |
This article "Scott Smolka" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Scott Smolka. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
