 |
Scott A. Smolka
Professor sas@cs.stonybrook.eduResearch Interests Scott A. Smolka has made fundamental contributions in the areas of process algebra, model checking, probabilistic processes, and Cyber-Physical systems modeling and analysis. He is perhaps best known for the algorithm he and Paris Kanellakis invented for deciding bisimulation. |
 |
Scott Stoller
Professor stoller@cs.stonybrook.eduResearch Interests Scott Stoller's primary research interests are design, analysis, optimization, testing, and verification of software, with focuses on cyberphysical systems, computer security, and distributed systems. |
 |
Xin Wang
Associate Professor x.wang@stonybrook.eduResearch Interests Xin Wang's research includes big data analysis and machine learning, wireless communications and networks, mobile computing and distributed computing. |
 |
Yifan Zhou
Assistant professor yifan.zhou.1@stonybrook.eduResearch Interests Yifan Zhou's research includes AI-driven smart grid, formal analysis in networked microgrids, and quantum computing for enabling intelligent, resilient, and adaptive power systems operations and supporting extreme renewable energy integration. |