Dec. 14, 2020, 11:21 p.m.
PHC Polonium grant for Dariusz Biernacki
Dariusz Biernacki's project Abstract machines for programming languages: Investigations in formal interderivations received funding under the Polish-French PHC Polonium programme. The research will be conducted in cooperation with Sergueï Lenglet (Université de Lorraine, Nancy) and Alan Schmitt (INRIA, Rennes).