Scott A. Smolka

Scott A. Smolka jest wybitnym profesorem SUNY na Wydziale Informatyki Uniwersytetu Stony Brook w Stony Brook w stanie Nowy Jork.

Edukacja i kariera

Uzyskał tytuł licencjata i magistra matematyki na Uniwersytecie Bostońskim odpowiednio w 1975 i 1977 r., a także doktorat. Ukończył studia informatyczne na Brown University w Providence, RI w 1984. Przed dołączeniem do Stony Brook Smolka był analitykiem naukowym w Aerospace Systems, Inc., Burlington, MA. Badania Smolki obejmują formalne modelowanie i analizę systemów cyberfizycznych i biologicznych, sprawdzanie modeli, algebrę procesów i weryfikację czasu działania. Jest prawdopodobnie najbardziej znany z algorytmu, który on i Paris Kanellakis opracowali w celu decydowania o bisymulacji Robina Milnera. Smolka jest członkiem Europejskiego Stowarzyszenia Informatyki Teoretycznej (EATCS).

zorganizowano konferencję i festyn .

Wybrane publikacje

  • Bergstra, Jan A., Alban Ponse i Scott A. Smolka, wyd. Podręcznik algebry procesów . Elsevier, 2001.
  • Kanellakis, Paris C. i Scott A. Smolka. „Wyrażenia CCS, skończone procesy stanowe i trzy problemy równoważności”. Informacja i obliczenia 86, no. 1 (1990): 43-68.
  • VanGlabbeek, Rob J., Scott A. Smolka i Bernhard Steffen. „Reaktywne, generatywne i warstwowe modele procesów probabilistycznych”. Informacja i obliczenia 121, no. 1 (1995): 59-80.
  • Giacalone, Alessandro, Chi-Chang Jou i Scott A. Smolka. „Rozumowanie algebraiczne dla probabilistycznych systemów współbieżnych”. w Proc. Konferencja robocza IFIP TC2 na temat koncepcji i metod programowania. 1990.
  • Ramakrishna, YS, CR Ramakrishnan, IV Ramakrishnan, Scott A. Smolka, Terrance Swift i David S. Warren. „Wydajne sprawdzanie modelu przy użyciu rozdzielczości tabelarycznej”. W International Conference on Computer Aided Verification, s. 143–154. Springer, Berlin, Heidelberg, 1997.

Nagrody i wyróżnienia

  • Nagroda Dijkstry 2021.
  • Mianowany wybitnym profesorem SUNY, listopad 2016 r.}
  • Stypendysta EATCS za „fundamentalny wkład w formalne modelowanie i analizę” od lutego 2016 r.
  • Nazwa dodana do ściany honorowej wydziału Stony Brook University, lipiec 2017 r.
  • Wspólny CONCUR-QEST-FORMATS 2016] Zaproszony prelegent.
  • 2008-2009 Nagroda Prezydenta / Kanclerza SUNY za wybitne osiągnięcia w nauce i działalności twórczej.

Linki zewnętrzne


Pobrano z „ https://en.wikipedia.org/w/index.php?title=Scott_A._Smolka&oldid=1107411727 ”