Kaposi Ambrus 1,9 millió eurós támogatást nyert az ERC pályázatán típuselméleti kutatásával
Kaposi Ambrus 1,9 millió eurós támogatást nyert az ERC Consolidator Grant pályázaton, típuselméleti kutatásával forradalmasíthatja a számítógépes bizonyítórendszereket.
- Hirdetés -