25.12.1969
+372 620 3461
marko.kaaramees@ttu.ee

Teenistuskäik

Töökohad ja ametid
01.01.2017–...   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, Dotsent (1,00)
01.08.2013–31.12.2016   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool, Dotsent (1,00)
2005–31.07.2013   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool, Lektor (1,00)
1993–2004   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Teadur (1,00)

Kvalifikatsioon

 
 
Teaduspreemiad ja tunnustused
1995, Marko Kääramees, 1. preemia TA magistritööde konkurssil
 
 
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; TÄPSUSTUS: formaalsed meetodid, mudelipõhine testimine
 
 
Lisainfo
E-CRIME projekt FP7-SEC-2013-1 raames on saanud positiivse hindamistulemuse ja käivitub 2014 aasta alguses (TTÜ eelarve projektipartnerina on 303000 EUR).
2005-2013 osalenud mimetes Eliko Tehnoloogia Arenduskeskus teadus-arendus projektides

Lõppenud projektid

Publikatsioonid

Klass
Aasta
Publikatsioon
 
2.3.
2012
3.1.
2012
3.1.
2012
3.1.
2011
3.1.
2010
3.1.
2010
3.1.
2009
3.4.
2009
3.1.
2008
3.1.
2007
3.1.
2007
3.1.
2006
3.1.
2000
3.4.
2000
3.1.
1999
3.4.
1999
3.4.
1999
3.4.
1998
3.4.
1997
3.1.
1995
3.2.
1995
3.4.
1995
3.1.
1994
3.4.
1994
10.06.2019
25.12.1969
+372 620 3461
marko.kaaramees@ttu.ee

Career

Institutions and positions
01.01.2017–...   
Tallinn University of Technology , School of Information Technologies, Department of Software Science, Associate Professor (1,00)
01.08.2013–31.12.2016   
Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of General Informatics, Associate Professor (1,00)
2005–31.07.2013   
Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of General Informatics, Lecturer (1,00)
1993–2004   
Tallinn University of Technology , Institute of Cybernetics at TUT, Researcher (1,00)

Qualifications

 
 
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; SPECIFICATION: formal methods, model-driven testing
 
 
Additional information
E-CRIME project in FP7 call FP7-SEC-2013-1 has received a positive evaluation and starts in the beginning of 2014 (budget of TUT as a partner is 303000 EUR)
2005-2013 participating in several research and development projects in Elico competence Centre

Completed projects

Publications

Category
Year
Publication
 
2.3.
2012
3.1.
2012
3.1.
2012
3.1.
2011
3.1.
2010
3.1.
2010
3.1.
2009
3.4.
2009
3.1.
2008
3.1.
2007
3.1.
2007
3.1.
2006
3.1.
2000
3.4.
2000
3.1.
1999
3.4.
1999
3.4.
1999
3.4.
1998
3.4.
1997
3.1.
1995
3.2.
1995
3.4.
1995
3.1.
1994
3.4.
1994
10.06.2019
  • Leitud 20 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
MUUVEU5382CENTRE Estonia - Eesti Cybercrime Centre of Excellence for Training, Research&Education01.01.201231.12.2014Indrek JakobsonTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut632 580,00 EUR
MUUF8018Eureka ITEA2 D-MINT22.02.200831.12.2009Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool93 246,84 EUR
MUUBF99Formaalsed meetodid hajussüsteemides.01.01.200931.12.2011Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool40 176,14 EUR
MUUG4156 (ETF4156)Formaalsed meetodid hübriidsete dünaamiliste süsteemide verifitseerimiseks01.01.200031.12.2003Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut20 004,35 EUR
MUUELIKO 2.2Hajus- ja sardsüsteemide testimine, verifitseerimine ning diagnostika01.07.200930.06.2015Jüri VainELIKO Tehnoloogia Arenduskeskus OÜ1 826 248,00 EUR
MUUG4155 (ETF4155)Intermediaar- ja modaalloogikad programmikeelte teoorias ja formaalmeetodites01.01.200031.12.2002Tarmo UustaluTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut30 549,77 EUR
MUULep9059Iseõppiv agent tööaja intelligentseks mõõtmiseks15.04.200930.04.2010Marko KäärameesTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool2 899,03 EUR
MUUAR8134Küberkaitse magistriõppe rahvusvaheline kava10.10.200831.12.2011Tanel TammetTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Võrgutarkvara õppetool255 646,59 EUR
MUUVFP657Küberkuritegevuse majanduslikud mõjud – E-CRIME01.04.201431.03.2017Rain OttisTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Võrgutarkvara õppetool241 068,00 EUR
ETFETF5775Lõpmatu olekuruumiga süsteemide abstraktsiooni-põhine verifitseerimine ja analüüs01.01.200431.12.2007Jüri VainTallinna Tehnikaülikool, TTÜ Küberneetika Instituut28 836,18 EUR
ETFETF5567Mitteklassikalised loogikad ja programmeerimisteooria01.01.200331.12.2006Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut48 420,17 EUR
SFSF0322520s03Mittelineaarsed ja hübriidsed juhtimissüsteemid01.01.200331.12.2007Ülle KottaTallinna Tehnikaülikool, TTÜ Küberneetika Instituut415 457,67 EUR
MUUVY643Montenegro küberturbe alase haridussüsteemi arendamine - ECESM14.02.201413.02.2017Marko KäärameesTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Võrgutarkvara õppetool57 720,00 EUR
ETFETF7667Mudeli-põhine plaanurite süntees mittedeterministlikele ja hajussüsteemidele01.01.200831.12.2011Jüri VainTallinna Tehnikaülikool, TTÜ Küberneetika Instituut56 550,81 EUR
MUULep10058Piletimüügitarkvara liinide otsingualgoritmi optimeerimine21.05.201011.06.2010Marko KäärameesTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool3 195,58 EUR
MUUOL05Reeglipõhised andmebaasid veebiteenuste loomiseks15.03.200415.09.2005Hele-Mai HaavTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut72 853,14 EUR
RITA1AlamprojektLEP19007 (RITA1/02-02-04)Soolise palgalõhe vähendamine01.01.201931.12.2021Marko KäärameesTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut40 365,00 EUR
MUULep9055Tarkvara testide automaatne genereerimine01.03.200930.06.2009Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool12 782,33 EUR
MUU489FTehnoloogia arenduskeskus ELIKO projekt 1.4 Digitaalsüsteemide struktuurigeneraator01.11.200431.10.2007Jaan RaikTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool 124 627,71 EUR
IUTIUT33-13Tugevate garantiidega tarkvara meetodid, tööriistad ja protsessid01.01.201531.12.2020Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut900 000,00 EUR