Renaud Vilmart, PhD student at Université de Lorraine in Mocqua team will defend his thesis on Thursday, Septembre the 19th at 3.00 pm in room C005.
His thesis is entitled : “ZX-Calculi for Quantum Computing and their Completeness”.
He received the Kleene Award at LICS, a famous international conference on logic. Read the article (french)