Scott Smolka
Scott Smolka · Technology & Engineering
Pioneer of probabilistic process algebra; Dijkstra Prize (2021)
Jackson Heights, New York, United States
United States
Scott Smolka is recognized among Jewish contributors to Technology & Engineering — Pioneer of probabilistic process algebra; Dijkstra Prize (2021)
Smolka is a SUNY Distinguished Professor at Stony Brook University who made fundamental contributions to probabilistic process algebra and model checking; with Paris Kanellakis he devised a key algorithm for deciding bisimulation, work recognized by the 2021 Dijkstra Prize. He is listed among Jewish recipients of the prize by Jewish biographical sources.
Verify and go deeper with these external references.
Source: Jinfo.org — Jewish recipients of the Dijkstra Prize
Pioneer of probabilistic process algebra; Dijkstra Prize (2021)
Source: Jinfo.org — Jewish recipients of the Dijkstra Prize
Similar Contributors
Moshe Vardi
Baruch Awerbuch
Danny Dolev
Micha Sharir
Noam Nisan
