Projects per year
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 joing 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, and is now Admissions Tutor for postgraduate taught courses in PAM, and Collaborative Partnership Leader for Data Science at PSB Singapore and Sri Lanka Telecom.
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
2023/24 teaching
- Information Theory (L5)
- Principles of Data Science (L4)
Previous Teaching:
- 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
-
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 AccessFile37 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 AccessFile56 Downloads (Pure) -
The complexity of quantified constraints using the algebraic formulation
Carvalho, C., Martin, B. & Zhuk, D., 7 Nov 2017, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) .Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Open AccessFile3 Citations (Scopus)39 Downloads (Pure) -
On Algebras with many symmetric operations
Carvalho, C. & Krokhin, A., 1 Aug 2016, In: International Journal of Algebra and Computation. 26, 5Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Citation (Scopus)151 Downloads (Pure) -
From complexity to algebra and back: digraph classes, collapsibility and the PGP
Carvalho, C., Madelaine, F. & Martin, B., 3 Aug 2015, Proceedings of the 2015 30th Annual ACM / IEEE Symposium on logic in Computer Science (LICS). Institute of Electrical and Electronics Engineers (IEEE), p. 462-474 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile6 Citations (Scopus)88 Downloads (Pure)