Tomasz Brengos

I co-authored a series of mathematics-related YT videos filmed using LEGO bricks in freezeframe animation style (in English and Polish). Check them out!

Here’s a list of some of my papers:

• T. Brengos, A coalgebraic take on regular and omega regular behaviours, https://arxiv.org/abs/1902.02601 (accepted in LMCS 2021)
• T. Brengos, M. Peressotti, Two modes of recognition: algebra, coalgebra and languages, http://arxiv.org/abs/1906.05573
• T. Brengos, M. Peressotti, Behavioural equivalences for timed systems, http://arxiv.org/abs/1711.10233 LMCS Volume 15, Issue 1, 2019, pp. 17:1–17:41
• T. Brengos, A coalgebraic take on regular and omega regular behaviour for systems with internal moves, CONCUR 2018
• T. Brengos, M. Peressotti, A unifom framework for timed automata, CONCUR 2016
• T. Brengos, M. Miculan, M. Peressotti, Behavioural equivalences for coalgebras with unobservable moves, JLAMP 84(6) 2015, pp. 826-852
• T. Brengos, Weak bisimulation for coalgebras over order enriched monads, http://arxiv.org/abs/1310.3656, LMCS 11 (2:14) 2015, pp. 1-44
• T. Brengos, On coalgebras with internal moves, http://arxiv.org/abs/1402.6281 (with proofs), Proc. CMCS’14, LNCS vol 8446 (2014)
• T. Brengos, Weak bisimulations for coalgebras over ordered functors, preprint, Proc. IFIP TCS 2012, LNCS Vol. 7604 (2012)
• T. Brengos, Rigidity of unary algebras and its application to the HS=SH problem, preprint, Algebra Univers. 65 Vol. 1 (2011)
• T. Brengos, V. Trnková, The HS=SH problem for coalgebras, preprint, Algebra Univers. 63 (2010)
• T. Brengos, On Covariety Lattices, Discussiones Mathematicae: General Algebra and Applications Vol. 28 No. 2 2008

In the winter semester of 2021 I teach: