Department of Computer Science

AAU-forsker modtager millioner fra det Frie Forskningsråd

Ni forskere fra AAU har modtaget millionstøtte fra Det Frie Forskningsråd til nye projekter. De ni AAU-projekter, som slap gennem nåleøjet, får tilsammen godt 32 mio. kroner.

Last modified: 22.05.2017

Ni forskere fra AAU har modtaget millionstøtte fra Det Frie Forskningsråd til nye projekter. De ni AAU-projekter, som slap gennem nåleøjet, får tilsammen godt 32 mio. kroner.

Blandt de udvalgte er lektor Ulrik Mathias Nyman fra Institut for Datalogi. Han har fået 1.890.704 kroner til projektet  "Compositional Verification of Real-time MULTICORE SAFETY Critical Systems. Projektet vil med et tigerspring øge præcisionen og detaljegraden i analysen af de såkaldte multi-core-systemer, der i stigende grad er nødvendige indlejrede software systemer.

Læs om projektet her og på facebook

Se AAU-nyheden her.

 


 

All news