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 Robin Milner's bisimulation.
Smolka is a Fellow of the European Association for Theoretical Computer Science (EATCS).
This biographical article relating to a computer specialist in the United States is a stub.