Education

Current Courses

Course archive

Tutoring

Master Projects

Here are some example projects that cover my research and education areas. Please feel free to propose other projects in any of these areas.

Projects in Type Theory and Logic

  • Semantics and implementation of stochastic coinductive language (Reserved)
  • Duality for equality on inductive and coinductive types
  • Control systems language based on inductive-coinductive types
  • Train control verification in theorem prover like Coq
  • Combined inductive-coinductive logic programming (Semantics, resolution, implementation)

Projects in Coalgebra

  • Coalgebras on local time scales
  • Generic proof systems for coinductive predicates
  • Computability via behavioural differential equations

Projects in Category Theory

  • Implement tool for bio-modelling based on memory evolutive systems