Théo Winterhalter
Scholar

Théo Winterhalter

Google Scholar ID: pOx-Vp8AAAAJ
Inria Saclay
type theoryproof theoryproof assistantscoq
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
608
 
H-index
9
 
i10-index
9
 
Publications
20
 
Co-authors
18
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
18 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Yannick Forster
Yannick Forster
Cambium Team, Inria Paris
Cătălin Hrițcu
Cătălin Hrițcu
Tenured Faculty at MPI-SP
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Philipp G. Haselwarter
Philipp G. Haselwarter
Assistant Professor, Aarhus University
Cezar-Constantin Andrici
Cezar-Constantin Andrici
MPI-SP