About rak
=========

I am professeur régulier at Université du Québec à Montréal and
a Debian Developer. I completed my PhD in computer science at
Carnegie Mellon University, where I was advised by Steve Brookes
and Frank Pfenning. I was then an NSERC postdoctoral researcher
at McGill University with Brigitte Pientka.

My professional ambition is to develop tools and techniques that
help practitioners correctly specify, implement, and reason
about concurrent and communicating systems. My current work
involves designing and reasoning about the logical foundations
of programming languages for concurrency.

This gopherhole is maintained by Ryan Kavanagh <rak@rak.ac>.

2023-12-03