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 aspire to understand and expose the essential structure of design problems. I wish to enable the development of software on a very small code base, close to theory, with well defined semantics and ultimately, a better user experience due to a more insightful exposition of the task at hand.

I have been reading weblogs about art, design, web technologies, computer science, logic and mathematics on a daily basis for years. In my spare time I work on personal programming projects.

Areas of interest

I am currently working on

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