Back to Results
First PageMeta Content
Theoretical computer science / Automated theorem proving / Non-classical logic / Substructural logic / Calculus of structures / Logic programming / International Colloquium on Automata / Languages and Programming / Linear logic / Logic / Formal sciences / Mathematical logic


Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013
Add to Reading List

Document Date: 2013-03-30 11:16:35

Open Document

File Size: 116,18 KB

Share Result on Facebook

City

Reykjavik / Dresden / Cardiff / Fortaleza / Lisbon / Edinburgh / Dakar / /

Company

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 / /

ProgrammingLanguage

Prolog / Java / /

PublishedMedium

Theoretical Computer Science / Lecture Notes in Computer Science / /

Technology

bioinformatics / artificial intelligence / Java / /

URL

http /

SocialTag