This is the wiki page for the Cyber Physical Systems Verification Group at University of Colorado, Boulder. The group investigates problems involving the verification of cyber-physical software systems. These systems model the interaction of discrete software systems with a continuous physical environment. Currently our research applies optimization and algebraic-geometric techniques for reasoning about these systems. Other areas we are focusing on include the use of rare-event simulations for CPS verification.
Apart from basic research on verification techniques, we are also interested in applications of our work to modeling and reasoning about human-computer interactions, especially for CPS.