Some links:

• PhD scholarship available, application deadline 6 January 2026. Subject area: GPU acceleration of verification workloads.
  • Official Sussex page
  • Project proposal
  • Post on findaphd
  Don't hesitate to contact me if you have questions about this.
• My Google Scholar
• My papers at martinfriedrichberger.net
• My 2019 compilers course
• 2003 interview with Robin Milner
• S-REPLS 9, May 2018