Projects per year
Personal profile
Overview
Research interests
Modern Algebra: combinatorial and computational algebra.
Combinatorics: graph homorphisms.
Interactions of combinatorics, algebra and logic with theoretical computer science, computational complexity.
Teaching specialisms
2025/26 teaching:
- Principles of Data Science (L4)
Previous Teaching:
- Information Theory (L5)
- Complex Analysis (L6)
- Linear Optimisation (L6)
- IT Literacy and Core Skills (L4)
- Algebra (L4, L5, and L6)
- Real Analysis (L5)
- Non-linear Systems (L6)
- Applications of Mathematics (L4)
- Mathematical Techniques 1 (L4)
- Linear Modelling (L6)
- Pure and Applied Mathematics (L4)
- Discrete Mathematics (L5)
- Computational Mathematics (L5)
- Mathematics (foundation year)
- Mathematics for Science Courses (foundation year)
Education/Academic qualification
Mathematics, PhD , Generation and Presentations of Semigroup Constructions: Bruck- Reilly Extensions and P-semigroups, The University of St Andrews
Award Date: 20 Jun 2006
Mathematics, MSc with Distinction, Presentations of Inverse Semigroups, The University of St Andrews
Award Date: 4 Oct 2002
Mathematics, Licenciatura, Faculdade de Ciências da Universidade de Lisboa, FCUL
Award Date: 3 Oct 2001
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
-
Diversifying and Decolonising Education - The Podcast
Carvalho, C. (PI), D'Sena, P. (CoI), Downton, S. (CoI), Farook, F. (CoI), Lloyd, C. (CoI) & Grey, D. (CoI)
UKRI - Arts and Humanities Research Council (AHRC)
29/05/25 → 28/05/26
Project: Research
-
Diversifying and Decolonising Education
Carvalho, C. (PI), D'Sena, P. (CoI), Downton, S. (CoI), Farook, F. (CoI), Doan, M.-H. (CoI), Lloyd, C. (CoI) & Grey, D. (CoI)
UKRI - Arts and Humanities Research Council (AHRC)
25/01/24 → 24/11/25
Project: Research
-
-
-
Bounded alternation QCSP on a 3-element domain
Zhuk, D., Carvalho, C. & Martin, B., 18 May 2026, (Accepted/In press) In: ZML: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik..Research output: Contribution to journal › Article › peer-review
-
Challenges and Barriers to Decolonising Mathematical Sciences
Carvalho, C., Crossman, R., Mair, C., Ogundimu, E. & Skipsey, S., 6 May 2026, Shaping UK Higher Education in the Shadow of Racial Injustice: Decolonising Curriculum, Pedagogy and Practice. Elhinnawy, H. (ed.). Palgrave, (Palgrave Stud. in Race, Inequal. and Soc. Justice in Education).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
-
Challenges and Barriers to Decolonising Mathematical Sciences
Carvalho, C., Crossman, R., Mair, C., Ogundimu, E. & Skipsey, S., 2026, Palgrave Studies in Race, Inequality and Social Justice in Education. Palgrave Macmillan, p. 259-283 25 p. (Palgrave Studies in Race, Inequality and Social Justice in Education; vol. Part F2160).Research output: Chapter in Book/Report/Conference proceeding › Chapter
Open Access -
The complexity of quantified constraints: Collapsibility, switchability and the algebraic formulation
Carvalho, C., Madelaine, F., Martin, B. & Zhuk, D., 18 Jan 2023, In: ACM Transactions on Computational Logic (TOCL). 24, 1, p. 1-26 26 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Citation (Scopus)74 Downloads (Pure) -
The lattice and semigroup structure of multipermutations
Carvalho, C. & Martin, B., 10 Nov 2021, (E-pub ahead of print) In: International Journal of Algebra and Computation. 32, 2Research output: Contribution to journal › Article › peer-review
Open AccessFile2 Citations (Scopus)109 Downloads (Pure)