About this page

This is an old (outdated) website of Sebastiaan JC Joosten. Instead of reading this page, please try visiting sjcjoosten.nl. Below you will find the page as it was. This note was written November 2017. The original page below was last updated November 2016.

Name:Sebastiaan JC Joosten
Occupation:PostDoc at UIBK in the CL group (until August 2017)
  • 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