Compositional Systems and Methods group at TalTech.
TallCat
Compositional Systems and Methods group at TalTech.
Current members
Pawel Sobocinski
Amar Hadzihasanovic
Fosco Loregian
Matt Earnshaw
Nathan Haydon
Diana Kessler
Chad Nester
Clémence Chanavat
Ekaterina Zhuchko
Former members
Edward Morehouse
(now at Bowdoin College)
Mario Román
(now in Oxford)
Elena Di Lavore
(now in Pisa)
Past Visitors
Jules Hedges
João de Paixão
Eigil Rischel
Nick Behr
Fabio Zanasi
Cole Comfort
Giovanni Di Felice
Tanguy Massacrier
Guillaume Boisseau
Martti Karvonen
Davide Castelnovo
Maaike Zwart
Greta Coraglia
Benjamin Bumpus
Zoltan Kocsis
Jade Master
Guillaume Laplante-Anfossi
Félix Loubaton
Priyaa Srinivasan
Weijia Wang
Seminars
Seminars
Courses
Functional Programming
(ITI0212).
Introduction to Category Theory and its applications
(ITI9200).
Group stuff
Categorical automata theory, Spring 2021
Chu construction meetings, Fall 2020
Functorial semantics meetings, Spring 2020