skip to content

Department of Computer Science and Technology

  • Research Staff

I am a Research Associate, working on Anuj Dawar and Samson Abramsky’s joint EPSRC project called Resources and co-Resources: a junction between categorical semantics, model theory and descriptive complexity.

This project lies in the intersection of category theory and finite model theory. In particular, we study and develop the so-called game comonads to express logical and combinatorial properties of finite relational structures. In past, I've worked on two other projects that applied tools from pointfree topology and duality theory in the study of paraconsistent logics and finite model theory.

For more information about my current and past activities visit my personal and postdoc websites.

Publications

To see the list of my publications visit https://tomas.jakl.one/publications

Teaching

  • Denotational Semantics (supervision, Michaelmas Term)
  • Complexity Theory (supervision, Easter Term)

For teaching during my previous affiliations see https://tomas.jakl.one/teaching

Contact Details

Room: 
FC10
Office phone: 
(01223) 7-63630
Email: 

tj330@cam.ac.uk