Personal profile

Other responsibilities

Dissertation Director of Studies (online MSc Computer Science + MSc Artificial Intelligence)

Research interests

Proof Theory,  Deep inference, Theoretical Computer Science

Teaching interests

My teaching is mainly leaning on the Mathematical Foundations of Computation, Theoretical Computer Science, Computational Logic, Concurrency.

Education/Academic qualification

Fellow of the Higher Education Academy, Fellow of the Higher Education Academy, Advance HE

Award Date: 20 Jul 2022

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 Sept 1997

EU-HCM PhD Fellowship, "Deduktion" , Technical University Berlin

Award Date: 1 Jan 1996

Computer Science, Master in Science, University of Pisa

Award Date: 10 Apr 1992

Consultant for Computer Science studies at IB Organisation, International Baccalaureate


Online Teaching Fellow, University of Bath


Research Fellow (EPSRC), Efficient and Natural Proof Systems - EPSRC funded - Named investigator, University of Bath

1 Feb 201312 May 2016

Substitute Associate Professor, Chair of Computational Logic (Vertretungsprofessor W2), Int'l Centre for Computational Logic / EU PhD Programme in Computational Logic, Technische Universität Dresden

Apr 2011Sept 2012

Researcher, ANR Chaire d'Excellence - Démosthène, INRIA Nancy Grand Est

Oct 2008Sept 2010

Research Fellow (co-PI), EPSRC Complexity and Non-Determinism in Deep Inference, University of Bath

Feb 2007Jun 2008

Teaching Fellow, Dept Computer Science, University of Bath

Oct 2006Feb 2007

Assistant Professor (befr. Wiss. Mitarb.), Int'l Centre for Computational Logic, Informatik/Institut fur Künstliche Intelligenz, Technische Universität Dresden

1 Oct 199731 Dec 2005

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

Sept 1995Dec 1995

Research and Teaching Assistant, "Coordination" - Development of declarative languages for coordination, Università di Bologna, campus in Cesena

Jan 1993Dec 1993

Research Assistant (Fixed-term), "Compulog Net" - Semantics of Logic Programming Languages, University of 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
  • Concurrency
  • Relation webs
  • Combinatorial Proofs
  • Substructural logics


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