Chi Mai Nguyen – Postdoctoral Researcher

Integrated Digital Planning

Analysis of Complex Systems

Chi Mai Nguyen is a postdoctoral researcher at the SIRUS centre, Department of Informatics, University of Oslo. She obtained her Masters degree in Theoretical Computer Science at Aalto University, in 2012. In April 2017, she received her PhD degree at University of Trento with a thesis entitled “Efficient Modelling and Reasoning with Constrained Goal Models”. Her work mainly focuses on formal verification, model checking, and applying automated reasoning techniques (mostly SAT and SMT) to goal models.