返回导师列表
SA

Scott A. Smolka

SUNY Distinguished Professor · Department of Computer Science

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

简介

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.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。