Fabrizio Montesi ⬣
fmontesi@mastodon.social

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!

acp.sdu.dk/news/2023-01-20-Mor

January 30, 2023
Fabrizio Montesi ⬣
fmontesi@mastodon.social

New office layout. I wonder how many students will ask 'What is @ACM?'

And yes, those are CACM issues on the table... 😉

January 18, 2023
Fabrizio Montesi ⬣
fmontesi@mastodon.social

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. 🤩

January 05, 2023
Fabrizio Montesi ⬣
fmontesi@mastodon.social

-> port of my website complete (fabriziomontesi.com), via . 😀

December 16, 2022
Fabrizio Montesi ⬣
fmontesi@mastodon.social

📚 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.

December 12, 2022