Posted by Jesper on November 12, 2019
I’m very glad to announce that starting on the 1st of December, I will join the programming languages group at TU Delft as an assistant professor! Some of my new colleagues are Eelco Visser, Robert Krebbers, Casper Bach Poulsen, Arjen Rouvoet, and Hendrik van Antwerpen. I’m looking forward to work with them, and of course I will continue to work on improving Agda.
In related news, I will soon be hiring a PhD student. So if you are interested to work on improving Agda and dependently typed programming in general, send me an email at email@example.com (more information about the formalities will follow later).