@acp.mastodon.acm.org.ap.brid.gyLuc Edixhoven (https://luc.edixhoven.eu) joins ACP/FORM as a postdoc. He will be working with @fmontesi on choreographies and their formalisation.
#programmingLanguages #concurrency #choreographicProgramming #formalization #formalMethods #FORM
@acp.mastodon.acm.org.ap.brid.gyAnna Blume Jakobsen (https://www.daracademy.dk/current-fellows/anna-blume-jakobsen) joined ACP/FORM today. Her PhD project is on choreographic programming and cost semantics. Anna works on semantics, Lean formalisations, behavioural theory, and program optimisation.