I'm currently on a sabbatical, working on a verification related project. While away, I am not taking new PhD, MSc and BSc students. Some links:

• My Google Scholar
• My papers at martinfriedrichberger.net
• Programming language reading group
• My online calendar for appointments
• My 2019 compilers course
• 2003 interview with Robin Milner
• S-REPLS 9, May 2018