Résumé

Last updated Unknown

• 2022. Kleene Award for the best student paper at the IEEE Symposium on Logic in Computer Science (LiCS) 2021 for “Monoidal Streams for Dataflow Programming”.
• 2019. PhD Candidate, ongoing. Tallinn University of Technology. Author of seven peer-reviewed articles on category theory and programming language theory.
• 2019. MSc. in Mathematics and Foundations of Computer Science. University of Oxford, GPA 9.14/10.
• 2018. Undergraduate Research Fellowship. Awarded 2000€ for the development of Mikrokosmos, a didactic functional programming language. Department of Algebra, University of Granada, Spain.
• 2018. Simultaneously a BSc. in Computer Science and a BSc. in Mathematics. University of Granada, Spain, GPA 9.55/10.
• 2012. International Mathematical Olympiad. Trained into mathematical problem solving for two high-school years. National gold medal (ex aequo), and International Honourable Mention.

Links.

• https://www.ioc.ee/~mroman/
• https://arxiv.org/a/mroman42_1.html
• https://github.com/mroman42