Arthur Correnson

About Me

I am a graduate student at Saarland University and at ENS Rennes. My current research focuses on the formal proof of automated verification tools using the Coq proof assistant. More generally, I am interested in all aspects of programming languages, formal verification, and making formal methods more accessible to a wider audience.

Other Research Interests

Formally verified compilation/static analysis
Certified constraint solvers
Formalization of floating-point arithmetic
Quantum computing

Contact

Reactive Systems Group

CISPA Helmholtz Center for Information Security

Saarland University Campus

eMail: arthur.correnson at ens-rennes.fr

Building: E 1.1, Room: 1.15

News!

My poster Formal Verification of a Lazy Abstraction Model Checker got the first prize of ICFP Student Research Competittion 2022!

Teaching

Winter 2022/2023

Teaching Assistant for Automata, Games, and Verification at the Reactive Systems Group.

Find Me Online

Twitter
LinkedIn
Research Gate