Jean-Baptiste Jeannin
Scholar

Jean-Baptiste Jeannin

Google Scholar ID: o9GQ8w4AAAAJ
University of Michigan
Programming LanguagesLogicFormal MethodsCyber-Physical Systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,583
 
H-index
17
 
i10-index
27
 
Publications
20
 
Co-authors
10
list available
Contact
No contact links provided.
Publications
3 items
Hazel Prover: A Classroom Proof Assistant for Learning Structural Induction
2026
Cited
0
Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
2026
Cited
0
Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
2026
Cited
0
Resume (English only)
Co-authors
10 total
Co-author 1
Co-author 1
Dexter Kozen
Dexter Kozen
Professor of Computer Science, Cornell University
André Platzer
André Platzer
Alexander von Humboldt Professor, Karlsruhe Institute of Technology
Aurora Schmidt
Aurora Schmidt
Johns Hopkins University Applied Physics Laboratory
Co-author 5
Co-author 5
Arjun Guha
Arjun Guha
Northeastern University
Nate Foster
Nate Foster
Professor of Computer Science, Cornell University
David Walker
David Walker
Princeton University