Name:Sebastiaan JC Joosten
Occupation:PostDoc at UIBK in the CL group
  • Ampersand / Relation Algebra
  • Automated verification
  • Interactive theorem proving
  • Termination of lazy functional programs
  • Haskell / GHC

Selected publications

My PHD thesis.

Check out my publications on google scholar, and let me know if you want to read one.

Slides of selected presentations