Academy of Finland funding to HIIT researchers Matti Järvisalo, Tuukka Ruotsalo and Alexandru Tomescu
Tue, 20.05.2014
Dr Matti Järvisalo got Academy of Finland's 5-year Academy Research Fellow funding for his research on "Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting (PHantoM)". More information on Matti's research is found in this page.