I work in pure mathematics and computer science, with a focus on the theory and applications of low- and higher-dimensional generalized categorical structures. My research is driven both by foundational questions in category theory and by problems arising in programming language semantics, formal methods, and the design and implementation of modern programming languages.
Research
Research statement, publications, preprints, and related writings.
Projects and collaborations
Selected collaborations, funded environments, and supervision-related projects.
Ph.D. students
Current and former doctoral supervision.
Selected talks
Invited, plenary, seminar, and workshop talks.
Academic positions and stays
Appointments, affiliations, visits, and doctoral appointments.
Seminars and events
Seminar organization and academic community-building activities.
Mathematical genealogy
Academic genealogy through the Mathematics Genealogy Project.
Further information
External profiles, selected links, CV, and contact.
I welcome discussions and collaborations with researchers and prospective Ph.D. students interested in categorical structures, programming language theory, formal methods, software technology, or closely related areas. Please feel free to get in touch.