Anna Latour
Research Fellow, National University of Singapore
Anna is a Research Fellow in the Meel group, at the School of Computing of the National University of Singapore. She is currently working on the development of new techniques for maximum satisfiability (MaxSAT) solving and for counting the number of satisfying assignments to Boolean formula.