Jean-Baptiste Jeannin

Computer Science · University of Michigan

Mid career · publishing since 2010

Formal Methods in Verification Logic, programming, and type systems Logic, Reasoning, and Knowledge Autonomous Vehicle Technology and Safety Parallel Computing and Optimization Techniques

Publications

Citations

1,036

Est. group size

Recurring co-author estimate

Active years

Publishing since 2010

In context

Among 784 mid career Computer Science PIs within our index

Citations: 1,036cohort median 434

Publications / year (recent): 7.2cohort median 3.8

Typically publishes in teams of ~4 · 28% small-team papers (≤3 authors) · across 21 venues

Publication cadence

Publications per year over the last 10 years — averaging 7.2/year recently

Collaborators per year

Distinct co-authors at University of Michigan each year — a rough indication of whether the group around this researcher has been growing or contracting. An estimate from co-authorship, not a roster: collaborators are not necessarily lab members, and recent years can be under-counted while indexing catches up.

Recent publications

Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
Open MIND · 2026
Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
Zenodo (CERN European Organization for Nuclear Research) · 2026
A General Framework for Robust Quantitative Semantics of Signal Temporal Logic
Open MIND · 2026
A General Framework for Robust Quantitative Semantics of Signal Temporal Logic
Zenodo (CERN European Organization for Nuclear Research) · 2026
A General Framework for Robust Quantitative Semantics of Signal Temporal Logic
Zenodo (CERN European Organization for Nuclear Research) · 2026
Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
arXiv (Cornell University) · 2026
Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
arXiv (Cornell University) · 2026
Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
arXiv (Cornell University) · 2026
Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
arXiv (Cornell University) · 2026
A General Framework for Robust Quantitative Semantics of Signal Temporal Logic
Lecture notes in computer science · 2026
Provably Safe Optimization of Arrival Flows Into Terminal Airspace
2026
Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
Lecture notes in computer science · 2026
Automatic Certification of the Active Corner Method for Collision Avoidance
Lecture notes in computer science · 2026
Synchronous Programming with Refinement Types
Proceedings of the ACM on Programming Languages · 2024
Formalization of Asymptotic Convergence for Stationary Iterative Methods
Lecture notes in computer science · 2024

Publishes in

arXiv (Cornell University)×18
Lecture notes in computer science×9
Zenodo (CERN European Organization for Nuclear Research)×5
Open MIND×2
International Journal on Software Tools for Technology Transfer×1

Similar researchers

By research-topic overlap

Inigo Incer
Computer Science · University of Michigan
Qianchuan Ye
Computer Science · Purdue University West Lafayette
Songlin Jia
Computer Science · Purdue University West Lafayette
Max S. New
Computer Science · University of Michigan
Xiaokang Qiu
Computer Science · Purdue University West Lafayette

This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.

Last updated Jul 25, 2026.

Claim or correct this profile