Paola Bruscoli

Paola Bruscoli is a Lecturer in the Department of Computer Science at the University of Bath, specializing in Proof Theory, Deep Inference, and Theoretical Computer Science. She holds a PhD in Computer Science (1997) from the University of Ancona and has held academic roles at institutions including TU Dresden (Substitute Associate Professor, 2011–2012) and the International Baccalaureate (Consultant for Computer Science studies, 2008–2022). Her research focuses on structural proof theory, proof complexity, and computational logic, with contributions to efficient proof systems and normalization techniques.

Education and Qualifications:

• PhD in Computer Science, University of Ancona, 1997
• French Qualification 'Maitre des Conférences' in Computer Science (2004 and 2008)
• Fellow of the Higher Education Academy, 2022

Research Interests:

• Proof Theory and Structural Proof Systems
• Deep Inference and its Applications
• Computational Logic and Concurrency
• Linear Logic and Proof Complexity

Key Contributions:

• EPSRC-funded projects on efficient proof systems and complexity in deep inference
• Development of quasipolynomial normalization procedures in deep inference
• Publications on proof search structures, cut-elimination, and analytic proof systems

Awards:

• Recipient of the French 'Maitre des Conférences' qualification
• Fellow of the Higher Education Academy