POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Caroline Cronjäger

Registered user since Fri 8 Dec 2023

Name:Caroline Cronjäger

BSc Mathematics from Ruhr University Bochum. Worked on Exact Separation Logic during an internship with Philippa Gardner’s group at Imperial College London in 2021.
Currently studying English Literature at Vrije Universiteit Amsterdam.

This summer I worked on a new approach to prove non-termination bugs during an internship at Bloomberg LP under the supervision of Julien Vanegue and Azalea Raad.

The slides of my talk “The Never-Ending Trace”, held on January 16th, 2024, at the POPL Incorrectness Workshop, are uploaded to the workshop program, and can also be found on my LinkedIn profile, which is linked above!

Feel free to reach out to me anytime with questions, suggestions and feedback - I am always excited to talk about research! — c.cronjaeger@student.vu.nl

Affiliation:Vrije Universiteit Amsterdam
Research interests:formal methods, under-approximation, divergence


Show activities from other conferences

POPL 2024-profile
View general profile