New Face: Juvenal Murwanashyaka

From Norway

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. 

Published Aug. 5, 2019 5:44 PM - Last modified Aug. 13, 2019 2:14 PM