I am currently a PhD student at
Tallinn University of Technology under the supervision of
Paweł Sobociński; my main interests being
category theory and
functional programming . I have studied *lenses* in functional programming and developed a theory of *incomplete string diagrams* that allows us to reason with many constructions in applied category theory in a formal and purely diagrammatic way.

## # Publications

- Monoidal Streams for Dataflow Programming, joint with
*Elena Di Lavore*and*Giovanni de Felice*.- IEEE Symposium on Logic in Computer Science 2022 (LiCS'22,
cite),
*Kleene Award*.

- IEEE Symposium on Logic in Computer Science 2022 (LiCS'22,
cite),
- Promonads and String Diagrams for Effectful Categories.
- Applied Category Theory 2022 (ACT 22, cite).

- Cornering Optics, joint with
*Chad Nester*and*Guillaume Boisseau*.- Applied Category Theory 2022 (ACT 22, cite).

- A Canonical Algebra of Open Transition Systems, joint with
*Elena Di Lavore, Alessandro Gianola, Nicoletta Sabadini and Paweł Sobociński*- Formal Aspects of Component Software 2021 (FACS 21, cite).

- Open Diagrams via Coend Calculus.
- Applied Category Theory 2021 (ACT 21, cite).

- Mikrokosmos: an Educational Lambda Interpreter, under the supervision of
*Pedro García-Sánchez*.- Journal of Open Source Education 2018 (JOSE 18).

## # Preprints

- Evidential Decision Theory via Partial Markov Categories, joint with
*Elena Di Lavore*. - Span(Graph): a Canonical Feedback Algebra of Open Transition Systems, joint with
*Elena Di Lavore*,*Alessandro Gianola*,*Nicoletta Sabadini*and*Paweł Sobociński*, - Comb Diagrams for Discrete-Time Feedback.
- Profunctor Optics: a Categorical Update, joint with
*Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski and Emily Pillmore*.

## # Talks

- Evidential Decision Theory via Partial Markov Categories at NWPT'22, Bergen.
- Notes on A Graphical View at TallCat Seminar, Tallinn.
- Monoidal Streams for Dataflow Programming at LiCS'22.
- Promonads and String Diagrams for Effectful Categories at ACT'22, Strathclyde
- Notes on Compositional Markov Processes at the ACT'22 Adjoint School, Strathclyde.
- Monoidal Streams for Dataflow Programming at Intercats Seminar, Topos Institute.
- Monoidal Streams for Dataflow Programming at TallCat Seminar, Tallinn.
- Monoidal Profunctors at Compositional Methods Retreat, Raudsilla.
- A Canonical Algebra of Transition Systems at ACT'21, Cambridge.
- Monoidal Streams for Dataflow Programming at NWPT'21, Reykjavik.
- A Canonical Algebra of Transition Systems at FACS'21, Grenoble.
- Picturing Multivariable Adjunctions at TallCat Seminar, Tallinn.
- Lesson on Monoidal Categories at the Category Theory course, Tallinn.
- Open Diagrams via Coend Calculus at ACT'20, MIT.
- Profunctor Optics: a Categorical Update at ACT'20, MIT.
- Profunctor Optics: a Categorical Update at NWPT'19, Tallinn.
- Profunctor Optics: a Categorical Update at SYCO 5, Birmingham.
- Profunctor Optics: a Categorical Update at MFoCS Dissertation, Oxford.

See also: News, Note Index.