Ecole Nationale de l'Aviation Civile

Basile Pesin

Associate Professor at Ecole Nationale de l'Aviation Civile (France). Interested in formal methods, reactive languages and interactive theorem provers.

GitHub Website

Followers

Public repos

Stars (recent)

Ecosystems

—

Projects

Repositories this builder owns.

OMicroB

An Ocaml generic virtual machine for microcontrollers

minicooper

A Coq tactic for quantifier elimination in linear arithmetic

—

presburger

Presburger's algorithm

—

CompCert

The CompCert formally-verified C compiler

—

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

Projects

Connected narratives

Related builders

Recent activity