We are very happy to welcome Caroline Cronjager, a visiting student from Ruhr University Bochum, Germany.

Caroline is a BSc Mathematics with Computer Science student from Ruhr-University Bochum, Germany. During the next three months she plans to work on incorrectness and under-approximating logic, starting off with soundness for under-approximate separation logic and will also be part of the team supporting students on the Scalable Software Verification course.