See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
2.07.1968
737 5870
516 0772 (5870)
varmo.vene@ut.ee
http://www.cs.ut.ee/~varmo/

Teenistuskäik

 
 
Teadusorganisatsiooniline ja -administratiivne tegevus
2011−...   
TÜ arvutiteaduse instituudi asejuhataja
2003−...   
European Association for Programming Languages and Systems (EAPLS), liige
2002−...   
Estonian Winter School in Computer Science (EWSCS), organiseerimis- ja programmkomitee liige
2014−2015   
19th Brazilian Symposium on Programming Languages (SBLP 2015), programmkomitee liige
2013−2014   
18th Brazilian Symposium on Programming Languages (SBLP 2014), programmkomitee liige
2012−2013   
17th Brazilian Symposium on Programming Languages (SBLP 2013), programmkomitee liige
2011−2012   
16th Brazilian Symposium on Programming Languages (SBLP 2012), programmkomitee liige
2011−2015   
TÜ matemaatika-informaatikateaduskonna prodekaan
2010−2011   
15th Brazilian Symposium on Programming Languages (SBLP 2011), programmkomitee liige
2010−2011   
12th Symposium on Programming Languages and Software Tools (SPLST 2011), programmkomitee liige
2009−2010   
Mathematically Structured Functional Programming (MSFP 2010), programmkomitee liige
2009−2010   
13th International Conference on Algebraic Methodology and Software Technology (AMAST 2010), programmkomitee liige
2009−2010   
14th Brazilian Symposium on Programming Languages (SBLP 2010), programmkomitee liige
2008−2009   
10th Symposium on Trends in Functional Programming (TFP 2009), programmkomitee liige
2008−2009   
11th Symposium on Programming Languages and Software Tools (SPLST 2009), programmkomitee liige
2008−2009   
13th Brazilian Symposium on Programming Languages (SBLP 2009), programmkomitee liige
2007−2008   
12th Brazilian Symposium on Programming Languages (SBLP 2008), programmkomitee liige
2007−2008   
9th Symposium on Trends in Functional Programming (TFP 2008), programmkomitee liige
2007−2008   
12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), programmkomitee liige
2007−2008   
Haskell Symposium 2008, programmkomitee liige
2006−2007   
11th Brazilian Programming Language Symposium (SBLP 2007), programmkomitee liige
2006−2007   
10th Symposium on Programming Languages and Software Tools (SPLST 2007), programmkomitee liige
2005−2006   
11th Int. Conference on Algebraic Methodology and Software Technology (AMAST 2006), programmkomitee kaasesimees
2005−2006   
8th Int. Conference on the Mathematics of Program Construction (MPC 2006), programmkomitee liige
2005−2006   
10th Brazilian Programming Language Symposium (SBLP 2006), programmkomitee liige
2005−2006   
5th Estonian Summer School in Computer and Systems Science (ESSCaSS 2006), programmkomitee liige
2004−2005   
10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005), organiseerimiskomitee liige
2004−2005   
9th Symposium on Programming Languages and Software Tools (SPLST 2005), organiseerimis- ja programmkomitee liige
2003−2005   
5th Advanced Functional Programming Summer School (AFP 2004), organiseerimis- ja programmkomitee esimees
2003−2004   
2nd APPSEM II Workshop, organiseerimiskomitee liige
2002−2015   
Arvutiteaduse teooriapäevad, organiseerimis- ja programmkomitee liige
1998−1999   
4th Estonian Winter School in Computer Science (EWSCS'99), organiseerimiskomitee liige
1995−1996   
New Trends in Computer Science and Information Technology (EWSCS'96), organiseerimiskomitee liige

Kvalifikatsioon

Teaduspreemiad ja tunnustused
1994, Varmo Vene, Eesti Teaduste Akadeemia, väljapaistva magistritöö preemia
2.07.1968
737 5870
516 0772 (5870)
varmo.vene@ut.ee
http://www.cs.ut.ee/~varmo/

Career

Institution and occupation
01.11.2007–31.08.2012   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Professor of Programming Languages Semantics (1,00)
2005–2007   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Chair of Software Systems, Associate Professor (1,00)
01.02.2001–31.01.2006   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Associate Professor (1,00)
2001–31.12.2011   
Tallinn University of Technology , Institute of Cybernetics at TUT, Senior Researcher (0,30)
2001–2002   
University of Trier, Deptartment of Computer Science, Researcher (1,00)
2000–2001   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Chair of Software Systems, Lecturer (1,00)
1998–2001   
Tallinn University of Technology , Institute of Cybernetics at TUT, Researcher (0,30)
1994–2000   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Chair of Theoretical Computer Science, Researcher (1,00)
 
 
R&D related managerial and administrative work
2011−...   
University of Tartu, Institute of Computer Science; Vice Head
2003−...   
European Association for Programming Languages and Systems (EAPLS), member
2002−...   
Estonian Winter School in Computer Science (EWSCS), PC and OC member
2014−2015   
19th Brazilian Symposium on Programming Languages (SBLP 2015), PC member
2013−2014   
18th Brazilian Symposium on Programming Languages (SBLP 2014), PC member
2012−2013   
17th Brazilian Symposium on Programming Languages (SBLP 2013), PC member
2011−2012   
16th Brazilian Symposium on Programming Languages (SBLP 2012), PC member
2011−2015   
University of Tartu, Faculty of Mathematics and Computer Science; Vice Dean
2010−2011   
15th Brazilian Symposium on Programming Languages (SBLP 2011), PC member
2010−2011   
12th Symposium on Programming Languages and Software Tools (SPLST 2011), PC member
2009−2010   
Mathematically Structured Functional Programming (MSFP 2010), PC member
2009−2010   
13th International Conference on Algebraic Methodology and Software Technology (AMAST 2010), PC member
2009−2010   
14th Brazilian Symposium on Programming Languages (SBLP 2010), PC member
2008−2009   
10th Symposium on Trends in Functional Programming (TFP 2009), PC member
2008−2009   
11th Symposium on Programming Languages and Software Tools (SPLST 2009), PC member
2008−2009   
13th Brazilian Symposium on Programming Languages (SBLP 2009), PC member
2007−2008   
12th Brazilian Symposium on Programming Languages (SBLP 2008), PC member
2007−2008   
9th Symposium on Trends in Functional Programming (TFP 2008), PC member
2007−2008   
12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), PC member
2007−2008   
Haskell Symposium 2008, PC member
2006−2007   
11th Brazilian Programming Language Symposium (SBLP 2007), PC member
2006−2007   
10th Symposium on Programming Languages and Software Tools (SPLST 2007), PC member
2005−2006   
11th Int. Conference on Algebraic Methodology and Software Technology (AMAST 2006), PC co-chair
2005−2006   
8th Int. Conference on the Mathematics of Program Construction (MPC 2006), PC member
2005−2006   
10th Brazilian Programming Language Symposium (SBLP 2006), PC member
2005−2006   
5th Estonian Summer School in Computer and Systems Science (ESSCaSS 2006), PC member
2004−2005   
10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005), OC member
2004−2005   
9th Symposium on Programming Languages and Software Tools (SPLST 2005), PC and OC member
2003−2005   
5th Advanced Functional Programming Summerschool (AFP 2005), PC chair, OC chair
2003−2004   
2nd APPSEM II Workshop, OC member
2002−2015   
Estonian Computer Science Theory Days, PC and OC member
1998−1999   
4th Estonian Winter School in Computer Science (EWSCS'99), OC member
1995−1996   
New Trends in Computer Science and Information Technology (EWSCS'96), OC member

Qualifications

 
 
Honours & awards
1994, Varmo Vene, Estonian Academy of Science, Outstanding Thesis Award
 
 
Field of research
FIELD OF RESEARCH: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; SPECIALITY: Semantics of programming languages, functional programming, methods of program construction, analysis and manipulation; type theory, category theory
 
 

Completed projects

Supervised dissertations

Publications

Category
Year
Publication
 
1.1.
2014
1.1.
2011
3.1.
2010
5.2.
2010
1.2.
2009
3.1.
2009
3.1.
2009
3.1.
2009
3.4.
2009
1.1.
2008
3.1.
2007
3.1.
2007
5.2.
2007
1.1.
2006
1.1.
2006
1.1.
2006
1.1.
2006
3.1.
2006
3.4.
2006
3.4.
2006
4.1.
2006
5.2.
2006
1.1.
2005
1.1.
2005
1.1.
2005
1.1.
2005
3.1.
2005
3.4.
2005
3.4.
2005
3.4.
2005
4.1.
2005
4.2.
2005
1.1.
2004
1.1.
2004
3.4.
2004
5.2.
2004
5.2.
2004
1.2.
2003
3.4.
2003
1.1.
2002
3.1.
2002
1.2.
2001
3.4.
2001
2.3.
2000
3.4.
2000
1.1.
1999
1.2.
1999
1.1.
1998
1.2.
1998
3.4.
1998
3.4.
1997
3.4.
1997
3.4.
1995
  • Leitud 23 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
TKEXCSArvutiteaduse tippkeskus - EXCS07.07.200831.08.2015Tarmo UustaluTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut4 244 372,58 EUR
MUUMMTAT05036Doctoral Education in Computing01.10.200430.09.2007Varmo VeneTartu Ülikool9 749,98 EUR
MUUSMTAT03043/12IKT erialade tugevdamine. Suvekool "Advanced Functional Programming"18.06.200421.09.2004Varmo VeneTartu Ülikool6 391,16 EUR
MUUSMTAT09152IKT erialade tugevdamine: Formaalsete keelte teooria26.10.200915.12.2009Varmo VeneTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut990,63 EUR
MUUSMTAT09111IKT erialaõppejõudude mobiilsus: Brazilian Symp.on Formal Methods (SBMF 2009)17.08.200927.08.2009Varmo VeneTartu Ülikool1 533,88 EUR
TKIMTAT06207Infrastruktuuriprojekti EU22468 "Development of infrastructure of the centre of dependable computing"21.09.200530.06.2007Varmo VeneTartu Ülikool23 647,31 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
TKAlamprojektTAR16013 (EXCITE) (TK148)IT Tippkeskus EXCITE01.09.201601.03.2023Maarja KruusmaaTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Biorobootika keskus; Cybernetica AS2 642 075,15 EUR
MUUSMTAT13078TKoinduktsioon reaktiivse tarkvara semantikas, analüüsis ja verifitseerimises01.03.201331.08.2015Varmo VeneTartu Ülikool45 264,00 EUR
MUUSMTAT13063T (3.2.1201.13-0008)Kontseptuaalne raamistik suurendamaks ühiskonna pühendumist IKTsse: IKTga seonduvaid karjäärivalikuid motiveerivad ning IKT rakendamiseks ja arendamiseks vajalikku kompetentsust arendavad lähenemised üld- ja kõrghariduses01.04.201331.08.2015Margus Pedaste; Varmo VeneTartu Ülikool; Tartu Ülikool, Sotsiaal- ja haridusteaduskond, Haridusteaduste instituut; Tartu Ülikool, Loodus- ja tehnoloogiateaduskond, Tartu Ülikooli Tehnoloogiainstituut; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut260 341,03 EUR
MUUSMTAT03043/50Lähetus. FMCS 2006, Calgary, Kanada03.06.200607.10.2006Varmo VeneTartu Ülikool1 214,32 EUR
ETFETF9475Matemaatilised struktuurid programmeerimiskeeltes01.01.201231.03.2016Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut33 984,00 EUR
ETFETF5567Mitteklassikalised loogikad ja programmeerimisteooria01.01.200331.12.2006Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut48 420,17 EUR
MUUSMTAT03043/20Mobiilsustoetus. Konverents Foundational Methods in Computer Science 200520.05.200522.08.2005Varmo VeneTartu Ülikool1 214,32 EUR
SFSF0321769s01Ontoloogiale orienteeritud programmeerimine01.01.200131.12.2005Jaan PenjamTallinna Tehnikaülikool, TTÜ Küberneetika Instituut492 119,70 EUR
ETFETF6713Programmide staatiline analüüs01.01.200631.12.2009Varmo VeneTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond; Tartu Ülikool, Matemaatika-informaatikateaduskond31 889,36 EUR
ETFETF6940Programmiloogikad, tüübisüsteemid ja usaldusväärne koodigenereerimine01.01.200731.12.2010Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut61 030,00 EUR
MUUOE02 (IST-2001-38957)Rakendussemantika II - APPSEM II01.01.200330.06.2006Tarmo UustaluTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut8 740,56 EUR
ETFETF8421Semantikapõhine programmide analüüs01.01.201031.12.2012Varmo VeneTartu Ülikool, Matemaatika-informaatikateaduskond32 785,69 EUR
SFSF0182712s06Suuremahuliste ja keeruliste arvutusülesannete lahendamise meetodid, arvutuskeskkonnad ja rakendused.01.01.200631.12.2011Jaak ViloTartu Ülikool, Matemaatika-informaatikateaduskond584 274,70 EUR
IUTIUT2-1Tõestatavalt turvalised ja korrektsed arvutisüsteemid01.01.201331.12.2018Dominique Peer Ghislain Dr UnruhTartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut1 038 000,00 EUR
MUUTYPES (510996)Tüübid ja tõestused programmidele - TYPES01.09.200430.04.2008Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut20 569,52 EUR
SFSF0322709s06Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad01.01.200631.12.2011Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut968 170,23 EUR