João Reis

João Reis is a skilled software engineer specializing in functional programming and OCaml, currently serving at Mina Foundation since September 2022. Concurrently, João holds the position of Invited Teaching Assistant at Universidade da Beira Interior, responsible for practical classes in "Computational Logic." Prior experience includes roles as an Instructor at AFTEBI, where João taught various modules related to information systems and programming from December 2020 to February 2022 and previously from May 2018 to January 2019. Additionally, João served as a Teaching Monitor in the Computer Science Department at Universidade da Beira Interior from 2018 to 2021. Education includes a Doctor of Philosophy in Computer Science and Engineering, a Master of Science in the same field, and a Bachelor of Science, all obtained from Universidade da Beira Interior.