OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Scott Smolka
Full Professor, , State University of New York, Stony Brook
Joined
June 2019
Names
Scott Smolka
,
Scott A. Smolka
Emails
****@cs.stonybrook.edu
(Confirmed)
Personal Links
Homepage
Google Scholar
Career & Education History
Full Professor
, State University of New York, Stony Brook
(cs.stonybrook.edu)
1990
–
Present
Advisors, Relations & Conflicts
Coauthor
Stanley Bak
2020
–
Present
Coauthor
Sophie Gruenbacher
2019
–
Present
PhD Advisee
Shouvik Roy
2018
–
Present
PhD Advisee
Usama Mehmood
2017
–
Present
Coauthor
Nicola Paoletti
2017
–
Present
Coauthor
Shan Lin
2016
–
Present
Coauthor
Rahul Mangharam
2014
–
Present
Coauthor
Ezio Bartocci
2011
–
Present
Coauthor
Scott Stoller
2000
–
Present
Coauthor
Radu Grosu
2000
–
Present
Coauthor
Erez Zadok
2000
–
Present
Coauthor
CR Ramakrishnan
1997
–
Present
Expertise
Special Projects - CNS
,
CPS-Cyber-Physical Systems
,
CPS- Frontier
Present
Publications
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval Augmented Parsing with Expert Knowledge
Mohammad Saqib Hasan
,
Sayontan Ghosh
,
Dhruv Verma
,
Geoff Kuenning
,
Erez Zadok
,
Scott Smolka
,
Niranjan Balasubramanian
COLM
Readers:
Everyone
Co-Authors
Dhruv Verma
Erez Zadok
Geoff Kuenning
Mohammad Saqib Hasan
Niranjan Balasubramanian
Sayontan Ghosh