Stefanie Kooistra, MSc.Logic