Back to advisors
SA

Scott A. Smolka

SUNY Distinguished Professor · Department of Computer Science

Stony Brook University · United States
Formal VerificationCyber-Physical SystemsHybrid SystemsNeural NetworksDistributed Computing

About

Scott A. Smolka is a SUNY Distinguished Professor in the Department of Computer Science at Stony Brook University. His research focuses on formal verification, cyber-physical systems, and hybrid systems. He has received notable awards including the 2021 ACM Edsger W. Dijkstra Prize in Distributed Computing and has been named an EATCS Fellow.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.