ISMM 2024
Tue 25 Jun 2024 Copenhagen, Denmark
co-located with PLDI 2024
Caroline Cronjäger

Registered user since Fri 8 Dec 2023

Name:Caroline Cronjäger
Bio:

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

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

Contributions

Show activities from other conferences

PLDI 2024-profile
View general profile