Academic Users of OCaml

With its deep mathematical roots, OCaml has always had strong ties to academia. Currently, it is being taught in universities around the world, and has accrued an ever growing body of research. This page will provide you with an overview of the academic excellence that defines the culture of OCaml.

30+ Academic Entries

University of Cambridge
Harvard University
Cornell University
Indian Institute of Technology, Madras
University of Wrocław
Rice University
University of Massachusetts Amherst
University of California, San Diego
University of Virginia
California Institute of Technology
University of Maryland
Université Paris-Diderot
Universidade da Beira Interior
McGill University
Indian Institute of Technology, Delhi
Technical University Munich
University of Minnesota Twin Cities
Laval University
Columbia University
University of Massachusetts
University of Innsbruck
Aix-Marseille University
University Pierre & Marie Curie
KAIST
University of Illinois at Urbana-Champaign
Princeton University
University of Birmingham
University of Pennsylvania
University of Rennes 1
Aarhus University
Epita
University of California, Los Angeles
Boston College
ISAE/Supaéro
University of Bologna
Brown University
Harvard University
Cornell University
Rice University
University of Massachusetts Amherst
University of California, San Diego
University of Virginia
California Institute of Technology
University of Maryland
McGill University
University of Minnesota Twin Cities
Laval University
Columbia University
University of Massachusetts
University of Illinois at Urbana-Champaign
Princeton University
University of Pennsylvania
University of California, Los Angeles
Boston College
Brown University
University of Cambridge
University of Wrocław
Université Paris-Diderot
Universidade da Beira Interior
Technical University Munich
University of Innsbruck
Aix-Marseille University
University Pierre & Marie Curie
University of Birmingham
University of Rennes 1
Aarhus University
Epita
ISAE/Supaéro
University of Bologna
Indian Institute of Technology, Madras
Indian Institute of Technology, Delhi
KAIST
If you want to contribute to add a new academic user, check out the Contributing Guide on GitHub.

Interested in Learning More?

Go to our success stories for a more in-depth understanding of how our users use OCaml.