Out with the cheese, in with the pastry

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.


  1. Andrew M said,

    December 21, 2008 @ 6:47 pm

    Wow, congratulations!

  2. dmv said,

    December 21, 2008 @ 10:14 pm


  3. brian said,

    December 22, 2008 @ 6:08 am

    Nice! Do you know how long you’ll be at ITU for?

  4. washburn said,

    December 26, 2008 @ 4:58 pm

    Thanks everyone!

    As is fairly standard for postdocs, the migrant workers of academia, my contract is a year in length. If there is funding at the end of that year I may get an extension for another year. If not, I move on.

RSS feed for comments on this post · TrackBack URI

Leave a Comment