Nadir Fejzić

I graduated my Bachelor degree in Computer Science at the Computer Science department of the Paris Lodron University in Salzburg, Austria. My bachelor thesis "Exploring Reasoning Performance of RISC-V Software Models in BTOR2" can be found in the repository of the selfie project. The thesis was awarded by the company teampool as one of the three best bachelor theses of our department in the academic year 2023/24.