|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
My PHD thesis.
Check out my publications on google scholar, and let me know if you want to read one.
Slides of selected presentations