Education

1. PhD Computer Science

   Uppsala University February 2021 – February 2026
   Thesis on Formal verification of concurrent systems. Supervised by [Prof. Bengt Jonsson, Parosh Abdulla].

2. MSc Computer Science

   Uppsala University August 2019 – February 2021
   Read Thesis

3. BSc Computer Science

   Uppsala University August 2013 – June 2019
   Read Thesis

4. BSc Mathematics

   Uppsala University August 2013 – June 2019
   Read Thesis