Scott Smolka
Scott Smolka · Tecnología e ingeniería
Smolka es profesor distinguido de la SUNY en la Universidad de Stony Brook; realizó contribuciones fundamentales al álgebra de procesos probabilística y al model checking, y con Paris Kanellakis diseñó un algoritmo clave para decidir la bisimulación, trabajo reconocido con el Premio Dijkstra 2021.
Jackson Heights, Nueva York, Estados Unidos
Estados Unidos
Smolka es profesor distinguido de la SUNY en la Universidad de Stony Brook; realizó contribuciones fundamentales al álgebra de procesos probabilística y al model checking, y con Paris Kanellakis diseñó un algoritmo clave para decidir la bisimulación, trabajo reconocido con el Premio Dijkstra 2021. Figura entre los galardonados judíos según fuentes biográficas judías.
Verifique y profundice con estas referencias externas.
Fuente: Jinfo.org — Jewish recipients of the Dijkstra Prize
Esta página se publica en siete idiomas a partir de una fuente en inglés. Las traducciones se revisan, pero puede colarse un error. Si detecta alguno en esta ficha —una palabra equivocada, una fecha perdida, una frase que dice algo que el inglés no dice—, háganoslo saber.
Smolka es profesor distinguido de la SUNY en la Universidad de Stony Brook; realizó contribuciones fundamentales al álgebra de procesos probabilística y al model checking, y con Paris Kanellakis diseñó un algoritmo clave para decidir la bisimulación, trabajo reconocido con el Premio Dijkstra 2021.
Fuente: Jinfo.org — Jewish recipients of the Dijkstra Prize
Contribuidores similares
Moshe Vardi
Baruch Awerbuch
Danny Dolev
Noam Nisan
