Noah Bühlmann (Advisor: T. Kehrer)
Learning programming requires a lot of hands-on training.
Software verification entails the algorithmic analysis of programs to mathematically prove properties of their executions - to prove that given certain assumptions, the code is correct and bug-free.