Section: Partnerships and Cooperations

International Initiatives

We have a strong ongoing collaboration with Univ. Iasi, Romania, which includes (but is not limited to) the co-supervision of the PhD of Andrei Arusoaie. Collaboration topics include language-independent techniques for analysis of programs, and their specialization to the languages designed in the Dreampal project (HiHope, HoMade assembler and machine code).