T. Van-Anh Nguyen

I am postdoctoral researcher in the project FOREST in Université Libre de Bruxelles, Belgium. My current work is advised by two mentors Gilles Geeraerts and Joël Goossens .

I was PhD student under the supervision of professor Arnaud Lallouet at Greyc in Université de Caen Basse-Normandie in France. My work was funded by Microsoft Research PhD Scholarship program in EMEA . I was thus advised by Dr. Youssef Hamadi and Lucas Bordeaux at Microsoft Research Cambridge as well.

My research interest includes Game Theory, Constraint Programming, Real-time System Scheduling, Formal Verification and Cloud Computing.