Dani ✨🐚
danielle@types.pl
<p>research associate in Glasgow thinking about mailbox types and actors; did a PhD in Kent and wrote some papers about linearity, uniqueness, and ownership 💙</p><p>singing bass in contest halls and cathedrals with Lux A Cappella, and in many combinations at UK Harmony Brigade (and still playing piano sometimes!) 💛</p><p>has a mild puzzling obsession; constructed crosswords for Puzzmo and "A Trans Person Made Your Puzzle" 🩷</p>
Posts
-
Post #2919947
oh, I still haven&#39;t properly announced this on here, have I? well, now that things are getting a bit more official... I&#39;m delighted to say that next month I&#39;ll be moving down to west London and starting a new postdoc position at Royal Holloway University of London, working with Julien Lange on the INDIMO project! we&#39;re looking at developing new techniques and tools to automatically detect bugs in message-passing concurrent systems (right in my wheelhouse), and pa...
-
Post #2919946
I don&#39;t think I ever shared this here either... but you can totally check out the *~ final version ~* of my PhD thesis, &quot;Graded Modal Types for Memory and Communication Safety&quot;, if you&#39;re interested! lots of really cool stuff in there in my humble opinion, although for anyone who has followed my publications over the last several years you have probably seen most of it before https://kar.kent.ac.uk/113723/ (by the way - types.pl gets a shout-out in my slightly...
-
Post #2919945
while I&#39;ve been spending the weekend swanning around a very sunny Harrogate doing all sorts of lovely singing (which I shall post about later), the videos of our set from the World Mixed competition in Germany have finally been released! here&#39;s our medley of two songs from The Sound of Music (you might be able to spot me on the back row)... https://www.youtube.com/watch?v=5xnkXkAeXXw
-
Post #2919944
and as promised, a few pics from a wonderful weekend in Harrogate ☺️ had three separate chances to go up on stage and perform all sorts of things on Saturday, and then Sunday was just full of singing and joy and chats with good friends - not even a roasting hot journey home on Monday could spoil the fun! ❤️ also, the most exciting news of all - seems like I’ve managed to get my first proper quartet going… and I’m not even singing bass? 👀 watch this space! ✨
-
Post #996155
happy 17776 day to all who celebrate 🛰️🏈