SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
David Bayani Andre Platzer Investigation and Implementation of Invariant Generation in The KeYmaera System for Hybrid