Paola Bruscoli

Research Fellow at University of Bath (EPSRC Project: Efficient and Natural Proof Systems).

Previously, I have been: Substitute Professor in Computational Logic, at the International Center for Computational Logic, TU Dresden; Researcher (in the Project ANR-Démosthène) at INRIA Nancy-Grand Est; Research Fellow at the University of Bath; and before that, I spent many years as researcher at the International Center for Computational Logic in Dresden, where I also taught for the International Masters Programme in Computational Logic.

Contents

Curriculum Vitae

A short CV is here.

Esteem

Research

My research interests focus on structural proof theory, substructural logics and their application in the design of logical languages for planning and concurrency, logic programming, concurrency, and more in general mathematical foundations of language design and theoretical computer science.

I'm interested in deep inference: the calculus of structures is a proof theoretical formalism, employing deep inference, originally conceived by Alessio Guglielmi and further developed by our research group in Dresden. These initial investigations have evolved a lot along the years, of course: find more on deep inference and current research topics.

Recently, my investigations are more focused on complexity of proofs in deep inference based formalisms.

Related Links

Teaching

Courses at TUD, European MSc Programme in Computational Logic (Summer Semester 2012)

Deductive Systems

Structural Proof Theory and Abstract Logic Programming

Selected Topics in Proof Theory (seminar)

Courses at TUD, European MSc Programme in Computational Logic (Winter Semester 2011/2012)

Foundations of Logic Programming

Foundations of Constraint Programming

Logic Programming Engineering

Courses at TUD, European MSc Programme in Computational Logic (Summer Semester 2011)

Deductive Systems

Structural Proof Theory and Abstract Logic Programming

Selected Topics in Proof Theory (seminar)

Courses at ENS des Mines, Nancy

Programmation Java
Instructor for the group X' (Friday morning , Room 418). Further information for the group available here.

Courses at Université de Nancy 2

C2I-niveau 2 (Certificat d'Informatique et Internet)
Mandatory course (second part) for (almost) all first year students at Nancy Universities, I am the instructor for the groups Droit-Eco-04 and Droit-A05. Find here more information on the the certificate (in french).

C2I-niveau 1 (Certificat d'Informatique et Internet)
Mandatory course for (almost) all first year students at Nancy Universities, I am the instructor for the groups LEA 2 and Droit 9. Find here more information on the the certificate (in french).

Course as Guest Lecturer

Introduction to Deep Inference and Proof Nets.
Taught with Lutz Straßburger at Technische Universität Dresden (17-21 Dec 2007).
Some slides on the first two lectures.

Courses at University of Bath

Courses for the International Masters Programme in Computational Logic

Courses for the Diplom-Informatik, Technische Universität Dresden

Other Old Courses

Organisation of Events

I was one of the organisers of the following events

Publications

Proof Theory of Sequent Calculus

A Tutorial on Proof Theoretic Foundations of Logic Programming
Paola Bruscoli and Alessio Guglielmi

On Structuring Proof Search for First Order Linear Logic
Paola Bruscoli and Alessio Guglielmi

Calculus of Structures

A Purely Logical Account of Sequentiality in Proof Search
Paola Bruscoli

A purely logical account of sequentiality in proof search - extended abstract
Paola Bruscoli

On Analytic Inference Rules in the Calculus of Structures
Paola Bruscoli and Alessio Guglielmi

On Analyticity in Deep Inference
Paola Bruscoli and Alessio Guglielmi

Proof Complexity and Deep Inference

On the Proof Complexity of Deep Inference
Paola Bruscoli and Alessio Guglielmi

Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen and Michel Parigot

A Quasipolynomial Cut Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen and Michel Parigot

Language Design for Coordination and Planning

A linear logic view of Gamma style computations as proof searches
Paola Bruscoli and Alessio Guglielmi

A linear logic programming language with parallel and sequential conjunction
Paola Bruscoli and Alessio Guglielmi

On Gamma style computations in abstract linear logic programming
Paola Bruscoli and Alessio Guglielmi

Expressiveness of the abstract logic programming language Forum in planning and concurrency
Paola Bruscoli and Alessio Guglielmi

Planning and abstract logic programming: A linear logic approach
Paola Bruscoli, Alessio Guglielmi and Giorgio Levi

Extension of Logic Programming Languages with Set Theory

Compiling intensional sets in CLP
Paola Bruscoli, Agostino Dovier, Enrico Pontelli and Gianfranco Rossi

Extensional and intensional sets in CLP with intensional negation
Paola Bruscoli, Agostino Dovier, Eugenio Omodeo, Enrico Pontelli and Gianfranco Rossi.

Extensional and intensional sets in CLP with intensional negation
Paola Bruscoli, Agostino Dovier, Enrico Pontelli and Gianfranco Rossi.

Semantics of Negation in Logic Programming Languages

Compilative constructive negation in constraint logic programs
Paola Bruscoli, Francesca Levi, Giorgio Levi and Maria Chiara Meo

Intensional negation in constraint logic programs
Paola Bruscoli, Francesca Levi, Giorgio Levi and Maria Chiara Meo

Intensional negation in constraint logic programs
Paola Bruscoli, Francesca Levi, Giorgio Levi and Maria Chiara Meo

Intensional negation in CLP
Paola Bruscoli, Francesca Levi, Giorgio Levi and Maria Chiara Meo

Other Material

Note sulla semantica denotazionale del linguaggio imperativo IMP
Paola Bruscoli

Linear Logic for Spatial and Temporal Reasoning - Proof Search and Partial Order Planning
Paola Bruscoli

Public Service

Postal Address

University of Bath
Computer Science Dept
Claverton Down
BA2 7AY Bath
United Kingdom

.. or please send me an email.

1.2.2013Paola Bruscoliemail