Soutenance de thèse : Mário Silva (Mocqua)
Mário Silva (Mocqua) will defend his thesis on Monday, July 7th at 2pm in room C005, with a presentation entitled Programming languages characterizing quantum efficiency. Jury: - Ugo Dal Lago (rapporteur), Università di Bologna - Benoît Valiron (rapporteur), CentraleSupélec, Université Paris-Saclay, LMF - Gilles Barthe (examinateur), MPI-SP Bochum, IMDEA Software Institute - Cristina Sernadas (examinatrice), […]


