Scott Smolka
Scott Smolka · Technologie & ingénierie
Smolka est professeur distingué de la SUNY à l'université Stony Brook ; il a apporté des contributions fondamentales à l'algèbre de processus probabiliste et au model checking, et a conçu avec Paris Kanellakis un algorithme clé pour décider la bisimulation, travaux récompensés par le prix Dijkstra 2021.
Jackson Heights, New York, United States
United States
Smolka est professeur distingué de la SUNY à l'université Stony Brook ; il a apporté des contributions fondamentales à l'algèbre de processus probabiliste et au model checking, et a conçu avec Paris Kanellakis un algorithme clé pour décider la bisimulation, travaux récompensés par le prix Dijkstra 2021. Il figure parmi les lauréats juifs de ce prix dans des sources biographiques juives.
Vérifiez et approfondissez avec ces références externes.
Source : Jinfo.org — Jewish recipients of the Dijkstra Prize
Smolka est professeur distingué de la SUNY à l'université Stony Brook ; il a apporté des contributions fondamentales à l'algèbre de processus probabiliste et au model checking, et a conçu avec Paris Kanellakis un algorithme clé pour décider la bisimulation, travaux récompensés par le prix Dijkstra 2021.
Source : Jinfo.org — Jewish recipients of the Dijkstra Prize
Contributeurs similaires
Moshe Vardi
Baruch Awerbuch
Danny Dolev
Micha Sharir
Noam Nisan
