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
Contact
No contact links provided.
Publications
2 items
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
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
Co-author 5
Arjun Guha
Northeastern University
Nate Foster
Professor of Computer Science, Cornell University
David Walker
Princeton University
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up