Scott A. Smolka
Computer Science Department
Stony Brook University
Statement of Research Accomplishments
Computational Modeling and Analysis for Complex Systems
Reactive Systems, Inc.
Introduction to Operating System Design and Implementation:The OSP 2 Approach
: I am the Lead PI for the newly awarded multi-institutional NSF CPS Frontiers project on
CyberHeart: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems.
: Our paper on " Computing Bisimulation Functions using SOS Optimization and SMT: Opportunities and Pitfalls" was presented at
HSCC 2015, 18th International Conference on Hybrid Systems: Computation and Control
, Seattle, Washington.
Page Last Modified: May 20th, 2015