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 <[email protected]>.

2023-12-03

You are viewing proxied material from republic.circumlunar.space. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.