/
User Settings
J

Jean-Baptiste Tristan

Boston University(US)

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

57

Papers

794

Citations

14

h-index

17

i10-index

Jean-Baptiste Tristan is an academic researcher from Boston University. The author has contributed to research in topics: Formal Methods in Verification & Logic, programming, and type systems & Machine Learning and Algorithms. The author has an h-index of 14, co-authored 49 publications.

ORCID: 0000-0003-2574-7883

Research Topics

Formal Methods in VerificationLogic, programming, and type systemsMachine Learning and AlgorithmsParallel Computing and Optimization TechniquesBayesian Modeling and Causal Inference

Papers by this author

works

Research topics

topics

Chat about Author

Papers

Chat

Click to start Chat