Cleaveland, W. Rance
Formal methods for desciption and analysis of concurrent and distributed systems. Process algebra, temporal logic, analysis algorithms for finite-state systems, automatic verification tools, semantic models of system behavior, operational semantics.
View Dr. Cleaveland's CV here.
- Next-Generation Model Checking and Abstract Interpretation with a Focus on Embedded Control and Systems Biology
- Adaptive Environment for Supercompiling with Optimized Parallelism (AESOP)
- NSF CPS Breakthrough: Compositional Modeling of Cyber-Physical Systems
- NSF: Verification of Open-Loop Embedded Control Systems