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

Institutions and positions
01.01.2021–...   
University of Tartu, Faculty of Science and Technology, Institute of Computer Science, Junior Lecturer of Informatics (0,70)
2017–...   
Cybernetica AS, Junior researcher
01.08.2016–...   
University of Tartu, Faculty of Science and Technology, Institute of Computer Science, Assistant of Informatics (1,00)
01.09.2017–31.12.2020   
University of Tartu, Faculty of Science and Technology, Institute of Computer Science, Assistant of Informatics (0,70)
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

Projects in progress

Completed projects

Publications

Category
Year
Publication
 
3.1.
2021
3.1.
2021
3.4.
2020
3.1.
2019
3.1.
2019
3.1.
2018
3.4.
2018
21.09.2021
kristjan.krips@ut.ee

Teenistuskäik

Töökohad ja ametid
01.01.2021–...   
Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut, informaatika nooremlektor (0,70)
2017–...   
Cybernetica AS, Nooremteadur
01.08.2016–...   
Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut, informaatika assistent (1,00)
01.09.2017–31.12.2020   
Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut, informaatika assistent (0,70)
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

Jooksvad projektid

Lõppenud projektid

Publikatsioonid

Klass
Aasta
Publikatsioon
 
3.1.
2021
3.1.
2021
3.4.
2020
3.1.
2019
3.1.
2019
3.1.
2018
3.4.
2018
21.09.2021

Search project

  • {{item.Name}}
Institution is projects' financier   Institution is projects' executor  
  • {{searchListItem.Name}}
All   Projects   Master projects   Subprojects  
New Frascati (2015)
Old and new Frascati
All
Ongoing
Finished
Beginning
Fuzzy
Precise
  • Found 7 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 121 014,65 EUR
TKSLTAT16148T (TK148)Estonian Centre of Excellence in IT (EXCITE) (TK148)01.01.201601.03.2023Jaak ViloUniversity of Tartu, Faculty of Science and Technology, Institute of Computer Science1 446 840,73 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
PRGPRG920New technologies in voting01.01.202031.12.2023Jan VillemsonCybernetica AS475 750,00 EUR