Mati Tombak
https://www.etis.ee/CV/Mati_Tombak/estTeenistuskäik
Töökohad ja ametid
2007–...
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool, Emeriitprofessor (1,00)
01.09.2013–31.12.2016
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Informaatika aluste õppetool, Vanemteadur (0,50)
2007–2013
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Informaatika aluste õppetool, Vanemteadur (0,50)
1997–2007
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool, Professor (1,00)
1984–1997
Tartu Ülikool, Matemaatika-informaatikateaduskond, Dotsent (1,00)
1978–1984
Tartu Ülikool, Matemaatika-informaatikateaduskond, Vanemõpetaja (1,00)
1975–1978
Tartu Ülikool, Matemaatika-informaatikateaduskond, Vanemteadur (1,00)
Kvalifikatsioon
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; TÄPSUSTUS: Programmeerimiskeelte süntaks ja semantika,
Keerukusteooria
Boole'i funktsioonid
Juhendamisel väitekirjad
Juhendatud väitekirjad
Publikatsioonid
Klass
Aasta
Publikatsioon
5.2.
2013
3.1.
2012
3.1.
2012
1.2.
2011
3.1.
2011
3.1.
2011
3.1.
2011
3.4.
2011
6.2.
2011
6.6.
2011
1.2.
2010
1.2.
2009
3.1.
2009
6.3.
2009
6.2.
2007
3.1.
2004
3.2.
2004
3.4.
2003
3.1.
2001
3.4.
2001
3.5.
2000
1.1.
1998
1.2.
1998
3.4.
1997
1.2.
1995
3.4.
1995
6.6.
1994
3.4.
1993
5.2.
1991
5.2.
1990
5.2.
1990
3.3.
1989
1.3.
1985
5.2.
1985
3.3.
1984
5.2.
1984
1.2.
1982
3.2.
1982
6.7.
1981
3.2.
1980
5.2.
1980
3.2.
1978
3.2.
1978
3.2.
1977
1.3.
1976
3.2.
1976
3.2.
1975
3.2.
1975
3.2.
1974
3.2.
1974
3.2.
1974
3.2.
1974
3.2.
1971
1.2.
1969
30.06.2018
Mati Tombak
https://www.etis.ee/CV/Mati_Tombak/engCareer
Institutions and positions
2007–...
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Chair of Theoretical Computer Science, Professor emeritus (1,00)
01.09.2013–31.12.2016
Tallinn University of Technology , School of Information Technologies, Department of Informatics, Chair of Foundations of Informatics, Senior Researcher (0,50)
2007–2013
Tallinn University of Technology , School of Information Technologies, Department of Informatics, Chair of Foundations of Informatics, Senior Researcher (0,50)
1997–2007
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Chair of Theoretical Computer Science, Professor (1,00)
1984–1997
University of Tartu, Faculty of Mathematics and Computer Science, Associate Professor (1,00)
1978–1984
University of Tartu, Faculty of Mathematics and Computer Science, Senior Teacher (1,00)
1975–1978
University of Tartu, Faculty of Mathematics and Computer Science, Senior Researcher (1,00)
Qualifications
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; SPECIFICATION: Syntaxis and semantics of programming languages
Complexity theory
Boolean functions
Dissertations under supervision
Supervised dissertations
Publications
Category
Year
Publication
5.2.
2013
3.1.
2012
3.1.
2012
1.2.
2011
3.1.
2011
3.1.
2011
3.1.
2011
3.4.
2011
6.2.
2011
6.6.
2011
1.2.
2010
1.2.
2009
3.1.
2009
6.3.
2009
6.2.
2007
3.1.
2004
3.2.
2004
3.4.
2003
3.1.
2001
3.4.
2001
3.5.
2000
1.1.
1998
1.2.
1998
3.4.
1997
1.2.
1995
3.4.
1995
6.6.
1994
3.4.
1993
5.2.
1991
5.2.
1990
5.2.
1990
3.3.
1989
1.3.
1985
5.2.
1985
3.3.
1984
5.2.
1984
1.2.
1982
3.2.
1982
6.7.
1981
3.2.
1980
5.2.
1980
3.2.
1978
3.2.
1978
3.2.
1977
1.3.
1976
3.2.
1976
3.2.
1975
3.2.
1975
3.2.
1974
3.2.
1974
3.2.
1974
3.2.
1974
3.2.
1971
1.2.
1969
30.06.2018
Otsi projekti
Asutus on projekti finantseerija
Asutus on projekti teostaja
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 3 kirjet
Programm | Liik | Number | Nimi | Projekti algus | Projekti lõpp | Vastutav täitja | Asutus | Finantseerijapoolne rahastamine | |
---|---|---|---|---|---|---|---|---|---|
SF | SF0140013s10 | Evolutsioneeruvate infosüsteemide mudelipõhine loomine ja haldamine | 01.01.2010 | 31.12.2014 | Kuldar Taveter | Tallinna Tehnikaülikool, Infotehnoloogia teaduskond | 436 366,29 EUR | ||
MUU | SMTAT07104 | Õppevahend "Keerukusteooria" | 01.05.2007 | 31.12.2007 | Mati Tombak | Tartu Ülikool | 734,98 EUR | ||
MUU | SMTAT03043/62 | Õppevahend "Keerukusteooria". | 01.12.2006 | 31.01.2007 | Mati Tombak | Tartu Ülikool | 734,98 EUR |