Skip to main navigation Skip to search Skip to main content

Personal profile

Overview

Catarina is a Mathematician working in abstract algebra and theoretical computer science, who is also interested in Mathematics education and social justice. She joined UH in 2011, having previously worked at the University of Lisbon, Portugal; Simon Fraser University, Canada; and Durham University, UK.
 
At UH, she led the Joint Honours Mathematics field from 2012 and the Joint Honours Computer Science field from 2021 until  2023, was Admissions Tutor for postgraduate taught courses in PAM from 2022 to 2024,  and was  Collaborative Partnership Leader for Data Science at PSB Academy Singapore from 2024 to 2026. She currently is Collaborative Partnership Leader for Sri Lanka Telecom Mobitel Nebula Institute of Technology since 2024, and Data Science Subject Group Lead since 2025.
 
She is the London Mathematical Society representative at UH, and
a member of the university's "diversifying and decolonising" group who have produced a website and podcast among other outputs in the past few years. Resources on diversifying Mathematics can be found on this website.
 
 

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

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

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • 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 journalArticlepeer-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 proceedingChapter (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 proceedingChapter

    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 journalArticlepeer-review

    Open Access
    File
    1 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, 2

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    2 Citations (Scopus)
    109 Downloads (Pure)