If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

French Qualification "Maitre des Conférences " - Informatique , French Ministry for University, Research, Education

Award Date: 1 Jan 2008

French Qualification "Maitre des Conférences" - Informatique, French Ministry for University, Research, Education

Award Date: 1 Jan 2004

Computer Science (language design/AI), Doctor of Philosophy, Università di Ancona

Award Date: 8 Sep 1997

EU-HCM PhD Fellowship, Technical University Berlin

Award Date: 1 Jan 1996

Computer Science, Master in Science, Università di Pisa

Award Date: 10 Apr 1992

Online Teaching Fellow, University of Bath


Consultant for Computer Science studies at IB Organisation, International Baccalaureate


Substitute Associate Professor, Chair of Computational Logic (Vertretungsprofessor W2), Technische Universität Dresden

Apr 2011Sep 2012

Researcher, INRIA Nancy Grand Est

Oct 2008Sep 2010

Research Fellow (co-PI), University of Bath

Feb 2007Jun 2008

Teaching Fellow, Dept Computer Science, University of Bath

Oct 2006Feb 2007

Assistant Professor (befr. Wiss. Mitarb.), Technische Universität Dresden

1 Oct 199731 Dec 2005

Scientific Collaborator, GMD-Berlin (Fraunhöfer Institut First/Fokus/TU Berlin)

Sep 1995Dec 1995

Research and Teaching Assistant, Università di Bologna, campus in Cesena

Jan 1993Dec 1993

Research Assistant (Fixed-term), Università di Pisa

Jul 1992Dec 1992


  • Theoretical Computer Science
  • Structural Proof Theory
  • Logic and Computation
  • Deep Inference
  • Proof Complexity
  • Language Design
  • Coordination
  • Cut-Elimination
  • Sequent Calculus
  • Linear Logic
  • Non-commutativity
  • Sequentiality
  • Threshold formulae
  • Normalization
  • International MSc/PhD Degrees


Dive into the research topics where Paola Bruscoli is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles