Scott A. Smolka , Co-Investigator
sas@cs.stonybrook.edu
Research 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 , Co-Investigator
stoller@cs.stonybrook.edu
Research 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 , Co-Investigator
x.wang@stonybrook.edu
Research Interests

Xin Wang's research includes big data analysis and machine learning, wireless communications and networks, mobile computing and distributed computing.
Yifan Zhou , Co-Investigator
yifan.zhou.1@stonybrook.edu
Research 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.