Scott Smolka
Scott Smolka · Technologia i inżynieria
Smolka jest profesorem wyróżnionym Uniwersytetu Stanowego Nowego Jorku w Stony Brook, autorem podstawowych prac o probabilistycznej algebrze procesów i o weryfikacji modelowej; wraz z Parisem Kanellakisem opracował kluczowy algorytm rozstrzygania bisymulacji, uhonorowany w 2021 roku Nagrodą Dijkstry.
Jackson Heights, New York, United States
United States
Smolka jest profesorem wyróżnionym Uniwersytetu Stanowego Nowego Jorku w Stony Brook, autorem podstawowych prac o probabilistycznej algebrze procesów i o weryfikacji modelowej; wraz z Parisem Kanellakisem opracował kluczowy algorytm rozstrzygania bisymulacji, uhonorowany w 2021 roku Nagrodą Dijkstry. Figuruje wśród żydowskich laureatów tej nagrody w żydowskich źródłach biograficznych.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — Jewish recipients of the Dijkstra Prize
Ta strona ukazuje się w siedmiu językach na podstawie źródła angielskiego. Tłumaczenia są sprawdzane, ale błąd może się prześlizgnąć. Jeśli zauważysz go na tej stronie — błędne słowo, zgubioną datę, zdanie mówiące coś, czego nie ma w angielskim — daj nam znać.
Smolka jest profesorem wyróżnionym Uniwersytetu Stanowego Nowego Jorku w Stony Brook, autorem podstawowych prac o probabilistycznej algebrze procesów i o weryfikacji modelowej; wraz z Parisem Kanellakisem opracował kluczowy algorytm rozstrzygania bisymulacji, uhonorowany w 2021 roku Nagrodą Dijkstry.
Źródło: Jinfo.org — Jewish recipients of the Dijkstra Prize
Podobni twórcy
Moshe Vardi
Baruch Awerbuch
Danny Dolev
Noam Nisan
