Tomasz Brengos

Tomasz Brengos holds a Doctor of Philosophy in Mathematics (Cum Laude) from Warsaw University of Technology, with a research focus on the “Universal Theory of Coalgebras.” He also possesses a Master of Science in Mathematics and a Bachelor of Science in Computer Science from the same institution. Tomasz’s academic roles include Assistant Professor at Warsaw University of Technology, where he taught various subjects, and his research spans category theory, automata theory, lambda calculus , resulting in contributions to behavioral equivalences and formal verification.

In industry roles, Tomasz served as Formal Verification Lead at Genlambda, leading the design of a functional programming language. He worked for Standard Chartered as Haskell Development Lead and Senior Developer, in liquidity risk management applications.