local avatar

Sean Watters

I am currently a PhD student in the Mathematically Structured Programming Group in the Department of Computer and Information Sciences at the University of Strathclyde. Prior to that, I did a BSc in Computer Science, also at Strathclyde.

My PhD is on correct-by-construction model checking of coalgebraic modal logics. I like logic, types, categories, proofs, and programs, and I especially like squishing them together to see what noises they make.

Recent Posts