Projects top banner

Current Research Projects

Smart Cyberphysical, Mathematical, Computational and Power Engineering…

Duration: 36months
Start date:
Financial Support: 1 501 368EUR

 Expressive Logics for VErifying the Net (PTDC/EEI-CTP/3506/2014)…

Duration: 36months
Start date:
Financial Support: 184 300EUR