Banner Term Projects
Subjects for master's theses

  • validation of protocols using for instance model checking, muCRL, I/O automata
  • verification of specifications and programs using for instance Coq, PVS
  • term rewriting
  • graph rewriting
  • process semantics
  • lambda calculus
  • type theory

See this page for background information