2023 Computer Science & Engineering Summer Programs

Mathematical strategies for analyzing methods to prove rigorous guarantees about their habits. Fundamental algorithms for and advanced topics in modeling, specification, verification, correct-by-construction synthesis, and testing. Applications to hardware/software design, cybersecurity, robotics, machine learning. Addresses points arising in organizing communications amongst autonomous computer systems. This member should be from CSE at UCSC if the advisor...