I have unfortunately been quite busy the past several months, and have not had as much time to write about what I have been doing as I would have liked. For the most part, I have been splitting my time between teaching and research. I will hopefully go into more detail about the latter in the near future.
However, I figured I should take some time now, before I leave for my first proper vacation in a year, to announce that I have accepted a postdoc position at ITU in Copenhagen with Carsten Schürmann. This has been in the works for a while now, but this week I finally was able to make it official. My plan is to start at ITU at the beginning of March, where I will be working on things relating to the LF family of logical frameworks, Twelf, and Delphin.
There are probably a vanishingly small number of you that care about what this means for Scala Classic, but I hope to write something much more detailed about it when I get back from my vacation. I'll leave you in suspense with the short answer: despite all my efforts, it simply is not possible to prove it sound without making it a very different language. Which is rather unfortunate.