Research Assistant - EU-Project "Proof-theoretical Approaches to Concurrency Theory" (PACT)

Dr. Nicolas Guenot
PhD (LIX)
Room: TEL 708
Phone: +49 30 314-24169
E-Mail: nicolas.guenot <AT> tu-berlin.de