Student projects

Programming projects

(All preferably in Haskell, Lean, Erlang, Idris, ML, OCaml, Scheme, Fennel, …)

Theoretical projects

Game comonads

Topology and duality theory

Formalisations

Other

Web Analytics