Compositional Systems and Methods group at TalTech.
TallCat
Compositional Systems and Methods group at TalTech.
Current members
- Pawel Sobocinski
- Amar Hadzihasanovic
- Fosco Loregian
- Eigil Rischel
- Priyaa Srinivasan
- Matt Earnshaw
- Diana Kessler
- Clémence Chanavat
- Ekaterina Zhuchko
- Andrea Laretto
- Alkis Ioannidis
Former members
- Edward Morehouse (now at Appalachian State University)
- Mario Román (now in Oxford)
- Elena Di Lavore (now in Pisa)
- Nathan Haydon (now in Waterloo)
- Chad Nester (now in Tartu)
Past Visitors
- Igor Bakovic
- Steve Lack
- 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
Courses
- Functional Programming (ITI0212).
- Introduction to Category Theory and its applications (ITI9200).