Dr. Lars Brünjes holds a Ph. D. in Pure Mathematics from the University of Regensburg (Germany) and has been a postdoc at the universities of Cambridge (UK) and Regensburg. After working as a Software Architect for ten years, he  joined the blockchain engineering company IOHK in 2016. As Director of Education for IOHK he gives talks and delivers trainings and courses in the programming language Haskell all over the world, but is also involved in IOHK research projects.

Polina holds a Ph. D. in Computer Science from the University of Ottawa. Her Ph. D. research consisted of the formalization of category-theoretic proofs, definitions and examples related to the study of abstract computation. She obtained her Master's degree in Mathematics, also from the University of Ottawa, with the focus of her thesis being the study of abstract computation using Category theory, in particular, Turing categories. 

Polina has been working at IOHK as a formal methods software developer since 2018. In 2019, she was a co-instructor (alongside the head instructor, Lars Bruenjes) for the IOHK-run Haskell course in Ethiopia, teaching an all-female cohort of Ethiopian and Ugandan students, many of who went on to work at IOHK afterwards. Later in 2019, Polina took part in running several educational events on the Marlowe smart contract software developed by IOHK team, including a hackathon in Ulaanbaatar, Mongolia, and a workshop in Tel Aviv, Israel. Since then, Polina has been working on the Plutus book.

For more about Polina's experience in Ethiopia, check out this blog post:

https://iohk.io/blog/in-at-the-deep-end-in-addis/

I’m a Project Manager in the Education Department at IOHK, Computer Science teacher and Entrepreneur with experience creating small tech companies. I love leading small focused teams to achieve success. I’m an accredited Kanban Trainer.