New Face: Juvenal Murwanashyaka
Start date: 01.08. 2019
Section: 6 - Several Complex Variables, Logic and Operator algebras
I am a PhD student in logic. My supervisor is Lars Kristiansen. In my masters thesis, completed this spring under the same supervisor, we looked at decidability of fragments of free semigroups and we looked at relative interpretability as a method for showing that first-order theories are essentially incomplete.