This website uses cookies to store user session information. By using our website you consent to our terms of use. Read more
I agree
kristjan.krips@ut.ee

Career

Institution and occupation
01.08.2016–...   
University of Tartu, Faculty of Science and Technology, Institute of Computer Science, Assistant of Informatics (1,00)
02.03.2016–31.07.2016   
University of Tartu, Faculty of Science and Technology, Institute of Computer Science, Assistant of Computer Science (0,50)
01.01.2016–01.03.2016   
University of Tartu, Faculty of Science and Technology, Institute of Computer Science, Assistant of Computer Science (0,50)
01.08.2013–31.12.2015   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Assistant of Computer Science (0,50)
01.09.2012–31.07.2013   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Assistant in Informatics (0,50)
 
 
Education
2010–2012   
Master's program in computer science
2006–2010   
Bachelor's program in computer science
737 6429
kristjan.krips@ut.ee

Teenistuskäik

Töökohad ja ametid
01.08.2016–...   
Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut, informaatika assistent (1,00)
02.03.2016–31.07.2016   
Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut, arvutisüsteemide assistent (0,50)
01.01.2016–01.03.2016   
Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut, arvutisüsteemide assistent (0,50)
01.08.2013–31.12.2015   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, arvutisüsteemide assistent (0,50)
01.09.2012–31.07.2013   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, informaatika assistent (0,50)
 
 
Haridustee
2010–2012   
Tartu Ülikool, Informaatika magistriõpe
2006–2010   
Tartu Ülikool, Informaatika bakalaureus
  • Found 5 results
ProgramTypeNumberNameProject startProject endPrincipal investigatorInstitutionFinancing
MUUSMTAT13127 (13-03-01-33)Doktorant Kristjan Kripsi osalemine rahvusvahelisel üritusel13th International School on Foundations of Security Analysis and Design (FOSAD)01.09.201307.09.2013Sven LaurUniversity of Tartu; University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science998,20 EUR
TKSubprojectTAR16013 (EXCITE) (TK148)Estonian Centre of Excellence in ICT Research01.09.201601.03.2023Maarja KruusmaaTallinn University of Technology , School of Information Technologies, Centre for Biorobotics; Cybernetica AS2 642 075,15 EUR
RITA1SubprojectRITA1/01-50-06MANTICUS APOLLO01.09.201830.11.2020Peeter LaudCybernetica AS0,00 EUR
ETFETF9171ProveIt - Computer-Aided Verification of Cryptographic Proofs01.01.201231.12.2012Dominique Peer Ghislain Dr UnruhUniversity of Tartu, Faculty of Mathematics and Computer Science8 496,00 EUR
IUTIUT2-1Provably secure and verifiable systems01.01.201331.12.2018Dominique Peer Ghislain Dr UnruhUniversity of Tartu, Faculty of Science and Technology, Institute of Computer Science1 038 000,00 EUR