Angelina Göbl

Angelina Göbl

Doctoral Student

Student, New College

E: angelina.goebl@cs.ox.ac.uk

Themes:

• Automated Verification

Biography

I am a DPhil student jointly supervised by Dave Parker and Alessandro Abate. Before starting the DPhil, I completed my MSc in Advanced Computer Science in Oxford and earned my BSc in Data Science and Artificial Intelligence from Saarland University, where worked with Bernd Finkbeiner.

Supervisors