Alwin Blok

I am a PhD student in the Mathematically Structured Programming Group at the University of Strathclyde, under the supervision of Clemens Kupke and Neil Ghani.

I am currently working on

You can contact me at alwin.blok@strath.ac.uk.