MIT Press / GMD-FIRST GmbH / Imperial College Press / Natural Proof Systems / /
Country
Senegal / Italy / Scotland / /
Facility
University of Bath / University of Pisa / International Centre / University of Ancona / University of Salerno / /
IndustryTerm
proof search / /
Organization
Institut für Angewandte Informatik / International Centre for Computational Logic / University of Bath / University of Pisa / MIT / Technische Universität Dresden / Faculty of Engineering / Italian Ministry / International Baccalaureate Organisation / International Centre / European Union / Technische Universität Berlin / PC / University of Ancona / Computer Science Department / University of Salerno / /
Person
S. Margherita Ligure / Marina di Vietri / Alessio Guglielmi / Tom Gundersen / Michel Parigot / Enrico Pontelli / Paola Bruscoli / Maria Chiara Meo / Andrei Voronkov / Nancy-Grand Est / Daniel Le Mètayer / Teaching Fellow / Giorgio Levi / Francesca Levi / Chris Hankin / /
Position
editor / Assistant at Università di Bologna / Professor / Assistant professor / Researcher / Consultant / /