Research Associate
May 2023 – PresentFormal Verification Intern
March 2022 – October 2022Data Analytics Intern
March 2021 – September 2021Research & Teaching Assistant
April 2019 – March 2021Software Engineering Intern
February 2019 – April 2019Ph.D. in Theoretical Computer Science
May 2023 – PresentM.Sc. Computer Science
April 2020 – March 2023Erasmus+ Exchange
August 2018 – January 2019B.Sc. Computer Science
October 2016 – March 2020