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.

Program Visits

Extended Reunion: Satisfiability, Spring 2023, Visiting Scientist