Simon Oddershede Gregersen

Simon Oddershede Gregersen is a postdoctoral researcher at the Courant Institute of New York University, working with Joseph Tassarotti. He earned his PhD from Aarhus University in 2023 under Amin Timany and Lars Birkedal. His research focuses on programming languages and program verification, particularly for security properties, distributed systems, and randomized programs.

• Current Position: Postdoctoral Researcher, Courant Institute, New York University
• PhD: Aarhus University (2023)
• Future Role: Tenure-Track Faculty, CISPA (starting January 2026)

Simon devises techniques like program logics and logical relations to enable formally verified software systems with machine-checked proofs. His work is supported by an Internationalization Fellowship from the Carlsberg Foundation (CF23-0791). He has presented his research at international conferences and workshops, including ICFP, POPL, and POST.

Recent publications highlight his contributions to probabilistic programming verification, error bound reasoning, and logical relations for security. He received the ICFP 2024 Distinguished Paper Award for his work on error bound analysis. Simon invites collaboration with prospective interns and PhD students at CISPA starting 2026.

• Email: s.gregersen@nyu.edu