See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
18.06.1965
620 4240
hellis@cs.ioc.ee
Scopus Author ID: 6701708204;

Google Scholar Citations:
https://scholar.google.com/citations?user=Aze1VPAAAAAJ

Teenistuskäik

Töökohad ja ametid
01.01.2017–...   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, Vanemteadur (1,00)
2008–2016   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Vanemteadur (1,00)
2005–2008   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Erakorraline vanemteadur (1,00)
1998–2005   
Helsingi Ülikool, Teadur (1,00)
1997–2005   
Helsingi Ülikool, doktorant (1,00)
1994–1996   
Florida Ülikool, kontoriassistent (0,50)
1990–1994   
Tartu Ülikool, doktorant (1,00)
1988–1990   
Tartu Ülikool, insener (1,00)
 
 
Haridustee
1997–2005   
Helsingi Ülikool, doktorantuur arvutiteaduses
1990–1994   
Tartu Ülikool, aspirantuur/doktorantuur
1983–1988   
Tartu Riiklik Ülikool, diplomiõpingud rakendusmatemaatikas
 
 
Lisainfo
[Text only in English.];
[Text only in English.];
[Text only in English.];

Kvalifikatsioon

 
 
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; CERCS KLASSIFIKAATOR: P170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria); TÄPSUSTUS: Automaatide teooria
 
 
Lisainfo
2015-2020 HTM institutsionaalne uurimistoetus IUT33-13 Tugevate garantiidega tarkvara meetodid, tööriistad ja protsessid, põhitäitja //

2012-2014 HTM SF teema SF0140007s12 Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad, põhitäitja //

2008-2015 ERDF Eesti teaduse tippkeskus Excellence in Computer Science, EXCS, põhitäitja //

2006-2011 HTM SF teema 0322709s06 Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad, põhitäitja //

2008-2011 ETF 2008 projekt Algebraline automaatide teooria, vastutav täitja //

2005-2008 RAKi meetme 1.1 projekt 1.0101-0275, järeldoktorant //

Publikatsioonid

Klass
Aasta
Publikatsioon
 
3.1.
2020
3.1.
2018
3.1.
2017
3.1.
2016
3.1.
2015
1.1.
2014
1.1.
2013
3.1.
2012
3.1.
2012
3.1.
2011
3.1.
2010
1.1.
2008
3.1.
2007
1.1.
2006
1.1.
2006
1.1.
2005
1.1.
2004
2.3.
2004
1.1.
2003
1.1.
2003
3.1.
2000
1.1.
1999
21.05.2020
18.06.1965
620 4240
hellis@cs.ioc.ee
Scopus Author ID: 6701708204;

Google Scholar Citations:
https://scholar.google.com/citations?user=Aze1VPAAAAAJ

Career

Institutions and positions
01.01.2017–...   
Tallinn University of Technology , School of Information Technologies, Department of Software Science, Senior Researcher (1,00)
2008–2016   
Tallinn University of Technology , Institute of Cybernetics at TUT, Senior Researcher (1,00)
2005–2008   
Tallinn University of Technology , Institute of Cybernetics at TUT, Extraordinary Senior Researcher (1,00)
1998–2005   
University of Helsinki, Researcher (1,00)
1997–2005   
University of Helsinki, PhD student (1,00)
1994–1996   
University of Florida, office assistant (0,50)
1990–1994   
University of Tartu, PhD student (1,00)
1988–1990   
University of Tartu, engineer (1,00)
 
 
Education
1997–2005   
University of Helsinki, PhD studies in computer science
1990–1994   
University of Tartu, PhD studies
1983–1988   
Tartu State University, diploma studies in applied mathematics
 
 
Additional information

*** R&D results information for PRG proposal to ETAG (proposal PRG1210)

** Most related publications 2010-2020

H. Tamm. Quotients and atoms of reversible languages. In E. Sekerinski, N. Moreira, eds., Revised Papers from FM 2019 Wkshs. (Porto, Oct. 2019), Lect. Notes in Comput. Sci., Springer, to appear. 3.1 //

H. Tamm, M. Veanes. Theoretical aspects of symbolic automata. In A. M. Tjoa, L. Bellatreche, S. Biffl, J. van Leeuwen, J. Wiedermann, eds., Proc. of 44th Int. Conf. on Current Trends in Theory and Practice of Computer Science, SOFSEM 2018 (Krems an der Donau, Jan./Feb. 2018), v. 10706 of Lect. Notes in Comput. Sci., pp. 428–441. Springer, 2018. doi: 10.1007/978-3-319-73117-9_30 3.1 //

H. Tamm, B. van der Merwe. Lower bound methods for the size of nondeterministic finite automata revisited. In F. Drewes, C. Martin-Vide, B. Truthe, eds., Proc. of 11th Int. Conf. on Language and Automata Theory and Applications, LATA 2017 (Umeå, March 2017), v. 10168 of Lect. Notes in Comput. Sci., pp. 261–272. Springer, 2017. doi: 10.1007/978-3-319-53733-7_19 3.1 //

H. Tamm. New interpretation and generalization of the Kameda-Weiner method. In I. Chatzigiannakis, M. Mitzenmacher, Y. Rabani, D. Sangiorgi, eds., Proc.+ of 43rd Int. Coll. on Automata, Languages and Programming, ICALP 2016 (Rome, July 2016), v. 55 of Leibniz Int. Proc. in Inf., article 116. Dagstuhl Publishing, 2016. doi: 10.4230/lipics.icalp.2016.116 3.1 //

H. Tamm. Generalization of the double-reversal method of finding a canonical residual finite state automaton. In J. Shallit, A. Okhotin, eds., Proc. of 17th Int. Wksh. on Descriptional Complexity of Formal Systems, DCFS 2015 (Waterloo, ON, June 2015), v. 9118 of Lect. Notes in Comput. Sci., pp. 268–279. Springer, 2015. doi: 10.1007/978-3-319-19225-3_23 3.1 //

J. Brzozowski, H. Tamm. Theory of átomata. Theor. Comput. Sci., v. 539, pp. 13–27, 2014. doi: doi: 10.1016/j.tcs.2014.04.016 1.1 //

J. Brzozowski, H. Tamm. Complexity of atoms of regular languages. Int. J. Found. Comput. Sci., v. 24, n. 7, pp. 1009–1027, 2013. doi: 10.1142/s0129054113400285 1.1

;
** Participation in projects 2010-2020 //

Hellis Tamm led the ETF grant project 7520 (2008-2011) on algebraic automata theory for which she was also the applicant. She participated in Tarmo Uustalu’s target financing projects (2006-2011, 2012-2014), in the CoE project EXCS (from 2009 to 2015) and is a coinvestigator of the IUT project 33-13 (2015-2020).

;
** PUT/PSG/PRG/PUTJD/MOBJD/MOBTP/MOBTT grants obtained from the Estonian Research Council 2010-2020 //

Hellis Tamm contributed to the target-financed themes 2006-2011 and 2012-2014 and the institutional research grant (IUT) 2015-2020 led by Tarmo Uustalu as a coinvestigator. She applied for an own PUT on several occasions, but was rejected; did not apply for a PRG. //

[The first PUT individual grants were awarded by ETAG in 2013. From 2018, they were replaced by the PRG team grant scheme and the PSG individual grant scheme, which is only available to younger researchers. The PUTJD/MOBJD, MOBTP and MOBTT schemes are for postdocs, researchers returning to Estonia resp. top researchers from abroad.]
;

Qualifications

 
 
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; CERCS CLASSIFICATION: P170 Computer science, numerical analysis, systems, control ; SPECIFICATION: Automata theory
 
 
Additional information
2015-2020 HTM institutional research grant IUT33-13 Methods, tools and processes for software with strong guarantees, investigator //

2012-2014 HTM target financing theme SF0140007s12 Dependable software and human language technologies, investigator //

2008-2015 ERDF Estonian CoE Centre of Excellence in Computer
Science, EXCS, investigator //

2006-2011 HTM target financing theme 0322709s06 Dependable software and human language technologies, investigator //

2008-2011 ETF 2008 project Algebraic automata theory, principal investigator //

2005-2008 project 1.0101-0275 of Measure 1.1 of Estonian NDP, postdoc fellow //

Publications

Category
Year
Publication
 
3.1.
2020
3.1.
2018
3.1.
2017
3.1.
2016
3.1.
2015
1.1.
2014
1.1.
2013
3.1.
2012
3.1.
2012
3.1.
2011
3.1.
2010
1.1.
2008
3.1.
2007
1.1.
2006
1.1.
2006
1.1.
2005
1.1.
2004
2.3.
2004
1.1.
2003
1.1.
2003
3.1.
2000
1.1.
1999
21.05.2020

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 8 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
ETFETF7520Algebraline automaatide teooria01.01.200831.12.2011Hellis TammTallinna Tehnikaülikool, TTÜ Küberneetika Instituut43 111,63 EUR
TKEXCSArvutiteaduse tippkeskus - EXCS07.07.200831.08.2015Tarmo UustaluTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut4 244 372,58 EUR
TKAlamprojektTAR16013 (EXCITE) (TK148)IT Tippkeskus EXCITE01.09.201601.03.2023Maarja KruusmaaTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Biorobootika keskus; Cybernetica AS2 642 075,15 EUR
SFSF0321769s01Ontoloogiale orienteeritud programmeerimine01.01.200131.12.2005Jaan PenjamTallinna Tehnikaülikool, TTÜ Küberneetika Instituut492 119,70 EUR
ETFETF6940Programmiloogikad, tüübisüsteemid ja usaldusväärne koodigenereerimine01.01.200731.12.2010Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut61 030,00 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 instituut1 080 000,00 EUR
SFSF0322709s06Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad01.01.200631.12.2011Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut968 170,23 EUR
SFSF0140007s12Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad01.01.201231.12.2014Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut514 620,00 EUR