Scott A. Smolka (Q93947062): Preview

Scott A. Smolka (Q93947062)
computer scientist

Language:

Current Data About Scott A. Smolka

(P21)

(Q6581097)

(P31)

(Q5)

(P69)

(Q49114)

(P248)

(P101)

(Q21198)

(P854)	https://lmcs.episciences.org/page/editorial-board#Sankaranarayanan
(P813)	Monday, May 11, 2020

(P106)

(Q82594)

(P854)	https://lmcs.episciences.org/page/editorial-board#Sankaranarayanan
(P813)	Monday, May 11, 2020

(Q1650915)

(P166)

(Q18748039)

(P585)	+2021-00-00T00:00:00Z
(P6949)	Wednesday, January 19, 2022
(P6208)	"For contributions in process algebra, model checking, and runtime verification" (language: en)

(P854)	https://www.acm.org/media-center/2022/january/fellows-2021
(P813)	Monday, June 24, 2024

(P184)

(Q7137316)

(P248)

(P185)

(Q58609490)

(P248)

(Q55756081)

(P248)

(P463)

(Q127992)

(P580)	Wednesday, January 19, 2022
(P2868)

(P854)	https://www.acm.org/media-center/2022/january/fellows-2021
(P813)	Monday, June 24, 2024

(P735)

(Q2260734)

(P6104)

(Q8487137)

other details

aliases	Scott Allen Smolka
description	computer scientist

External Links

(P549)	169716
(P1556)	smolka.scott-a
(P4955)	217220