Academy of Finland funding to HIIT researchers Matti Järvisalo, Tuukka Ruotsalo and Alexandru Tomescu
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.
A new Board nominated for HIIT
The mother universities of HIIT and the Staff of HIIT have nominated their representatives into the new Board of HIIT for the term 1 April 2014 - 31 March 2018. The new Board is listed at http://www.hiit.fi/board where you will also find more information.