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) Interests: 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 Internal kick-off of High Tech Systems Center (HTSC) Pitch on Hardware Verification. 12.11.2014 from 15-17 uur in AUD 5. Verification of NoCs, PACT workshop invited talk