See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
tore.vincent.carstens@ut.ee
24.05.2019
tore.vincent.carstens@ut.ee
24.05.2019

Otsi projekti

  • {{item.Name}}
Asutus on projekti finantseerija   Asutus on projekti teostaja  
  • {{searchListItem.Name}}
Kõik   Tavaprojektid   Ülemprojektid   Alamprojektid  
Uus Frascati (2015)
Uus ja vana Frascati (otsing uue järgi väljastab ka seotud vanad)
Kõik
Käimasolevad
Lõppenud
Algus
Hajus
Täpne
  • Leitud 4 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
1.2.5.MLTAT17367Formaalsed verifitseerimismeetodid kvantkrüptograafias01.09.201731.08.2020Dominique Peer Ghislain Dr UnruhTartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut458 259,99 EUR
TKAlamprojektTAR16013 (EXCITE) (TK148)IT Tippkeskus EXCITE01.09.201601.03.2023Maarja KruusmaaTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Biorobootika keskus; Cybernetica AS2 642 075,15 EUR
TKSLTAT16148T (TK148)IT Tippkeskus EXCITE (TK148)01.01.201601.03.2023Jaak ViloTartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut1 446 840,73 EUR
IUTIUT2-1Tõestatavalt turvalised ja korrektsed arvutisüsteemid01.01.201331.12.2018Dominique Peer Ghislain Dr UnruhTartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut1 038 000,00 EUR