Projects per year
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
2008 → 2022
Online Teaching Fellow, University of Bath
2019 → 2021
Research Fellow (EPSRC), Efficient and Natural Proof Systems - EPSRC funded - Named investigator, University of Bath
1 Feb 2013 → 12 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 2011 → Sept 2012
Researcher, ANR Chaire d'Excellence - Démosthène, INRIA Nancy Grand Est
Oct 2008 → Sept 2010
Research Fellow (co-PI), EPSRC Complexity and Non-Determinism in Deep Inference, University of Bath
Feb 2007 → Jun 2008
Teaching Fellow, Dept Computer Science, University of Bath
Oct 2006 → Feb 2007
Assistant Professor (befr. Wiss. Mitarb.), Int'l Centre for Computational Logic, Informatik/Institut fur Künstliche Intelligenz, Technische Universität Dresden
1 Oct 1997 → 31 Dec 2005
Scientific Collaborator, Languages for planning, GMD-Berlin (Fraunhöfer Institut First/Fokus/TU Berlin)
Sept 1995 → Dec 1995
Research and Teaching Assistant, "Coordination" - Development of declarative languages for coordination, Università di Bologna, campus in Cesena
Jan 1993 → Dec 1993
Research Assistant (Fixed-term), "Compulog Net" - Semantics of Logic Programming Languages, University of Pisa
Jul 1992 → Dec 1992
Keywords
- 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
- EQANIE
- Concurrency
- Relation webs
- Combinatorial Proofs
- Substructural logics
Fingerprint
- 1 Similar Profiles
Projects
- 3 Finished
-
Efficient and Natural Proof Systems
Guglielmi, A. (PI), Bruscoli, P. (CoI) & McCusker, G. (CoI)
Engineering and Physical Sciences Research Council
1/02/13 → 12/05/16
Project: Research council
-
Sharing and Sequentiality in Proof Systems with Locality
Guglielmi, A. (PI), Bruscoli, P. (CoI), Laird, J. (CoI), McCusker, G. (CoI) & Power, J. (CoI)
29/03/12 → 30/06/14
Project: Research council
-
COMPLEXITY AND NON-DETERMINISM IN DEEP INFERENCE
Guglielmi, A. (PI) & Bruscoli, P. (Researcher)
Engineering and Physical Sciences Research Council
1/02/07 → 30/06/08
Project: Research council
Research output
-
On the Length of Medial-Switch-Mix Derivations
Bruscoli, P. & Strassburger, L., Jun 2017, Logic, Language and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18–21, 2017: Proceedings. Kennedy, J. & de Queiroz, R. J. G. B. (eds.). Berlin, Germany: Springer Verlag, p. 68-79 (Lecture Notes in Computer Science; vol. 10388).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open AccessFile3 Citations (SciVal)245 Downloads (Pure) -
On Analyticity in Deep Inference
Bruscoli, P. & Alessio Guglielmi, 2016, (Unpublished)Research output: Other contribution
-
Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae
Guglielmi, A., Bruscoli, P., Gundersen, T. & Parigot, M., 31 Dec 2016, In: Logical Methods in Computer Science. 12, 2, p. 1-30 30 p., 5.Research output: Contribution to journal › Article › peer-review
Open Access5 Citations (SciVal)80 Downloads (Pure) -
On the proof complexity of deep inference
Bruscoli, P. & Guglielmi, A., Feb 2009, In: ACM Transactions on Computational Logic. 10, 2, 34 p., 14.Research output: Contribution to journal › Article › peer-review
Open AccessFile41 Citations (SciVal)252 Downloads (Pure) -
On Structuring Proof Search for First Order Linear Logic
Bruscoli, P. & Guglielmi, A., 21 Aug 2006, In: Theoretical Computer Science. 360, 1-3, p. 42-76 35 p.Research output: Contribution to journal › Article › peer-review
Open Access