Scholar
Jean-Baptiste Jeannin
Google Scholar ID: o9GQ8w4AAAAJ
University of Michigan
Programming Languages
Logic
Formal Methods
Cyber-Physical Systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,583
H-index
17
i10-index
27
Publications
20
Co-authors
10
list available
Publications
4 items
Proof Interfaces for Exploratory Mathematics
2026
Cited
0
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
Co-authors
8 total
Dexter Kozen
Professor of Computer Science, Cornell University
André Platzer
Alexander von Humboldt Professor, Karlsruhe Institute of Technology
Aurora Schmidt
Johns Hopkins University Applied Physics Laboratory
Arjun Guha
Northeastern University
Nate Foster
Professor of Computer Science, Cornell University
David Walker
Princeton University
Carolyn Jane Anderson
Wellesley College
Alexandra Silva
Cornell University
