Scholar
Théo Winterhalter
Google Scholar ID: pOx-Vp8AAAAJ
Inria Saclay
type theory
proof theory
proof assistants
coq
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
608
H-index
9
i10-index
9
Publications
20
Co-authors
18
list available
Publications
2 items
Misquoted No More: Securely Extracting F* Programs with IO
2026
Cited
0
SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F*
2025
Cited
0
Co-authors
9 total
Yannick Forster
Cambium Team, Inria Paris
Cătălin Hrițcu
Tenured Faculty at MPI-SP
Bas Spitters
Associate Professor, Aarhus University
Philipp G. Haselwarter
Assistant Professor, Aarhus University
Cezar-Constantin Andrici
MPI-SP
Gregory Malecha
BedRock Systems, Inc
Andreas Abel
Senior Lecturer, Comp. Sci. and Eng., Chalmers University of Technology and University of Gothenburg
Guido Martínez
Microsoft Research
