Research Lab
Discover our contributions to computer science research, latest publications, and academic collaborations
Recent Research Papers
Our team publishes cutting-edge research in formal verification, programming languages, and software engineering
Powered by OCamlPro
Our research activities are conducted through OCamlPro, a company founded in 2011 by leading experts in programming languages and formal methods
OCamlPro brings together researchers and engineers with deep expertise in functional programming, compiler development, and software verification. With strong ties to academia and the open-source community, OCamlPro drives innovation in programming language tooling and formal methods.
Visit OCamlProLatest Blog Posts
Stay updated with our technical insights, project updates, and industry perspectives
Research Partners
We collaborate with leading universities and research institutions worldwide
Expert Training Programs
Upskill your team with our expert-led training courses in Rust, OCaml, formal methods, blockchain and more.
Explore Our Open Source Projects
Check out our GitHub repository to see our latest work and contributions