Anna Blume Jakobsen (www.daracademy.dk/current-fellows/anna-blu... joined ACP today. Her PhD project is on choreographic programming and cost semantics. Anna works on semantics, Lean formalisations, behavioural theory, and program optimisation.
#choreographicProgramming […]
1
1
0
0