HTTP/1.1 200 OK Server: nginx/1.18.0 Date: Tue, 30 Dec 2025 08:16:11 GMT Content-Type: text/html Content-Length: 2745 Connection: keep-alive Last-Modified: Thu, 27 Nov 2025 14:37:17 GMT ETag: "27d8-6449473213280-gzip" Accept-Ranges: bytes Vary: Accept-Encoding Content-Encoding: gzip

TallCat: Compositional Systems and Methods Group

We are the Compositional Systems and Methods group at TalTech. The group's goal is to study compositional techniques in the context of models of computation, understood broadly and guided by category theory. We work closely with our sister group: Logic and Semantics.

• TallCat seminar.
  Weekly seminar with guest speakers on all things compositional. Organised in collaboration with the logic and semantics group.
  Thursdays, 2pm.
• Formal category theory reading group.
A reading group on formal category theory.
Wednesdays, 2pm.
• Causal models reading group.
A reading group on synthetic probability, with a focus on conditionals, causality and updates.
Wednesdays, 4pm.

Professor Pawel Sobocinski
Group Lead

Amar Hadzihasanovic
Assistant Professor

Fosco Loregian
Researcher

Alessandro Di Giorgio
Postdoctoral Researcher

Eva Graversen
Postdoctoral Researcher

Diana Kessler
Postdoctoral Researcher

Vincent Moreau
Postdoctoral Researcher

Callum Reader
Postdoctoral Researcher

Priyaa Srinivasan
Postdoctoral Researcher

Eigil Rischel
Research Consultant

Guido Boccali
PhD Student

Clémence Chanavat
PhD Student

Roberto Di Virgilio
PhD Student

Sophie Taskova
PhD Student

Kristi Ainen
Project Manager