Student projects

Programming projects

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

Theoretical projects

Game comonads

Topology and duality theory

Formalisations

Other

Web Analytics