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, États-Unis
États-Unis
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
Cette page paraît en sept langues à partir d'une source anglaise. Les traductions sont relues, mais une erreur peut passer. Si vous en repérez une sur cette fiche — un mot fautif, une date perdue, une phrase qui dit autre chose que l'anglais —, signalez-la-nous.
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
Noam Nisan
