What a start of the year! This month, we've received Matteo Acclavio (postdoc in logic), Robin Kaarsgaard (prof in quantum computing), Peter Mayer (prof in usable security), and Dan Plyukhin (postdoc in distributed programming languages)!
Looking forward to what these people will cook!
New office layout. I wonder how many students will ask 'What is @ACM?'
And yes, those are CACM issues on the table... 😉
In 2022, independent research groups published papers on choreographic programming at POPL, ESOP, and ITP. Wow! Excited to see increasing interest in the programming and compilation of communication protocols. 🤩
#twitter -> #mastodon port of my website complete (https://fabriziomontesi.com), via #mastofeed. 😀
📚 Got my review copy of "Patterns for API Design", by O. Zimmermann, M. Stocker, D. Lübke, U. Zdun, and @pautasso.
Reached the first patterns and it's been brilliant so far. API design finally getting the attention it deserves! Looking forward to the rest.
