Mike Cruchten

School of Computer Science

Research and Teaching Assistant

M.Cruchten@sheffield.ac.uk

Full contact details

Mike Cruchten
School of Computer Science
Regent Court (DCS)
211 Portobello
91Ö±²¥
S1 4DP
Profile

Mike Cruchten is a research and teaching assistant at the Department of Computer Science where he is also currently doing a PhD. He obtained his MSc in Logic at the Institute for Logic, Language and Computation (University of Amsterdam) and his BSc in Computer Science and Mathematics at the University of Manchester. Apart from the areas in which he conducts research, Mike also has an interest in other topics within mathematics and logic such as recursion theory, lambda calculus, algebraic logic and topology.

Research interests
  • logic
  • algebra
  • coalgebra
  • category theory
Publications

Chapters

  • Cruchten M (2024) , Lecture Notes in Computer Science (pp. 111-123). Springer Nature Singapore RIS download Bibtex download

Conference proceedings papers

  • Cruchten M () . Springer-Verlag Lecture Notes in Computer Science (LNCS) RIS download Bibtex download
Research group

Foundations of Computation research group