[ sulge aken ]

Elulookirjeldus (CV)
1.Eesnimi Varmo
2.Perekonnanimi Vene
3.Töökoht Tartu Ülikool, arvutiteaduse instituut
4.Ametikoht dotsent
5.Sünniaeg 02.07.1968 (päev.kuu.aasta)
6.Haridus 1996-2000, Tartu Ülikool, informaatika doktorantuur
1992-1994, Tartu Ülikool, informaatika magistratuur
1986-1992, Tartu Ülikool, rakendusmatemaatika
7.Teenistuskäik alates 2005, Tartu Ülikool, Arvutiteaduse Instituut, dotsent
2003-2005, Tartu Ülikool, Arvutiteaduse Instituut, vanemteadur
2001-2003, Tartu Ülikool, Arvutiteaduse Instituut, dotsent
2001-2002, Trieri Ülikool, arvutiteaduse osakond, teadustöötaja
alates 2001, TTÜ, Küberneetika Instituut, vanemteadur
2000-2001, Tartu Ülikool, Arvutiteaduse Instituut, lektor
1998-2001, TTÜ, Küberneetika Instituut, teadur
1994-2000, Tartu Ülikool, Arvutiteaduse Instituut, teadur
8.Teaduskraad informaatika doktor (PhD)
9.Teaduskraadi välja
andnud asutus, aasta		 Tartu Ülikool, 2000
10.Tunnustused 1994, Eesti Teaduste Akadeemia, väljapaistva magistritöö preemia
11.Teadusorganisatsiooniline
ja –administratiivne
tegevus		 11th Int. Conference on Algebraic Methodology and Software Technology, programmkomitee kaasesimees (2006)

8th Int. Conference on the Mathematics of Program Construction, programmkomitee liige (2006)

10th Brazilian Programming Language Symposium, programmkomitee liige (2006)

10th ACM SIGPLAN International Conference on Functional Programming, organiseermiskomitee liige (2005)

9th Symposium on Programming Languages and Software Tools, organiseermis- ja programmkomitee liige (2005)

5th Advanced Functional Programming Summerschool, programmkomitee esimees (2004)

2nd APPSEM II Workshop, organiseermiskomitee liige (2004)

Eesti Arvutiteaduse Talvekool, organiseermis- ja programmkomitee liige (1996, 1999, 2003, 2004, 2005)

Arvutiteaduse teooriapäevad, organiseerimis- ja programmkomitee liige (alates 2002)

European Association for Programming Languages and Systems (EAPLS), liige (alates 2003)
12.Juhendamisel kaitstud
väitekirjad

Härmel Nestra, MSc, 1998, juh. Varmo Vene. Polütüüpne funktsionaalne programmeerimine: kategooriateoreetilistest alustest praktikasse. Tartu Ülikool
13.Teadustöö põhisuunad Programmeerimiskeelte semantika; funktsionaalne programmeerimine; programmide konstrueerimise, teisendamise ja analüüsi meetodid; tüübiteooria; kategooriateooria rakendused arvutiteaduses
14.Jooksvad grandid
15.Teaduspublikatsioonid

N. Ghani, P. Johann, T. Uustalu, V. Vene. Monadic augment and generalised short cut fusion. In Proc. of 10th ACM SIGPLAN International Conference on Functional Programming, ICFP'05 (Tallinn, 26.-28. Sept. 2005), ACM SIGPLAN-Notices, Vol. 40, No. 9, pp. 294-305, ACM Press, 2005.

P. Laud, V. Vene. A Type System for Computationally Secure Information Flow. In M. Liskiewicz, R. Reischuk, eds., Proc. of 15th International Symposium on Fundamentals of Computational Theory, FCT'05 (Lübeck, 17.-20. Aug. 2005), Lecture Notes in Computer Science (LNCS), Vol. 3623, pp. 365-377, Springer-Verlag, 2005.

T. Uustalu, V. Vene. Comonadic functional attribute evaluation. In M. van Eekelen, ed., Proc. of 6th Symposium on Trends in Functional Programming, TFP'05 (Tallinn, Sept. 2005), pp. 33-43. Institute of Cybernetics, 2005.

T. Uustalu, V. Vene. Signals and comonads. In M. A. Musicante, R. M. F. Lima, eds., Proc. of 9th Brazilian Symposium on Programming Languages, SBLP'05 (Recife, PE, May 2005), pp. 215-228. Univ. de Pernambuco, Recife, 2005.

T. Uustalu, V. Vene. Signals and Comonads. Journal of Universal Computer Science. Vol. 11, No. 7, pp. 1310-1326, Springer-Verlag, 2005.

T. Uustalu, V. Vene. The Essence of Dataflow Programming. In K. Yi, ed., Proc. of 3rd Asian Symposium on Programming Languages and Systems, APLAS'05 (Tsukuba, 3.-5. Nov. 2005), Lecture Notes in Computer Science (LNCS), Vol. 3780, pp. 2-18, Springer-Verlag, 2005.

V. Vene, T. Uustalu (Eds.): Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures. Lecture Notes in Computer Science (LNCS), Vol. 3622, 359 p., Springer-Verlag, 2005.

N. Ghani, T. Uustalu, V. Vene. Build, augment and destroy, universally. In W.-N. Chin, ed., Proc. of 2nd Asian Symposium on Programming Languages and Systems, APLAS'04 (Taipei, 4.-6. Nov. 2004), Lecture Notes in Computer Science (LNCS), Vol. 3302, pp. 327-347, Springer-Verlag, 2004.

V. Capretta, T. Uustalu, V. Vene. Recursive coalgebras from comonads. In J. Adámek, S. Milius, eds., Proc. of 7th International Workshop on Coalgebraic Methods in Computer Science, CMCS'04 (Barcelona, Apr. 2004), Electronic Notes in Theoretical Computer Science (ENTCS), v. 106, pp. 43-61, Elsevier, 2004.

H.Seidl, V.Vene, M.Müller-Olm. Global invariants for analysing multi-threaded applications. Proc. Estonian Academy of Sciences: Phys., Math., 52(4):413-436, 2003.

T.Uustalu, V.Vene. Least and greatest fixed-points in intuitionistic natural deduction. Theoretical Computer Science, 272(1-2):315-339, 2002.

T.Uustalu, V.Vene. The dual of substitution is redecoration. In K.Hammond, S.Curtis, eds, Trends in Functional Programming 3, pp. 99-110. Intellect, Bristol / Portland, OR, 2002.

T.Uustalu, V.Vene, A.Pardo. Recursion schemes from comonads. Nordic Journal of Computing, 8(3):366-390, 2001.

T.Uustalu, V.Vene. Mendler-style inductive types, categorically. Nordic Journal of Computing, 6(3):343-361, 1999.

T.Uustalu, V.Vene. Primitive (co)recursion and course-of-value (co)iteration, categorically. Informatica, 10(1):5-26, 1999.

M.Meriste, J.Penjam, V.Vene. Models of Attributed Automata. Informatica, 9(1):85-105, 1998.

V. Vene, T. Uustalu. Functional programming with apomorphisms (corecursion). Proc. of Estonian Academy of Sciences: Phys., Math., 47(3):147-161, 1998.

viimati muudetud: 24.01.2006

Curriculum Vitae (CV)
1.First Name Varmo
2.Surname Vene
3.Institution University of Tartu, Department of Computer Science
4.Position associate professor
5.Date of birth 02.07.1968 (day.month.year)
6.Education 1996-2000, University of Tartu, PhD studies in computer science
1992-1994, University of Tartu, MSc studies in computer science
1986-1992, University of Tartu, applied mathematics
7.Research and
professional experience		 since 2005, University of Tartu, Inst. Comp. Sci., associate professor
2003-2005, University of Tartu, Inst. Comp. Sci., senior researcher
2001-2003, University of Tartu, Inst. Comp. Sci., associate professor
2001-2002, University of Trier, Dept. Comp. Sci., research associate
since 2001, Inst. of Cybernetics at TTU, senior researcher
2000-2001, University of Tartu, Inst. Comp. Sci., lecturer
1998-2001, Inst. of Cybernetics at TTU, researcher
1994-2000, University of Tartu, Inst. Comp. Sci., researcher
8.Academic degree PhD (Computer Science)
9.Dates and sites of
earning the degrees		 University of Tartu, 2000
10.Honours/awards 1994, Estonian Academy of Science, Outstanding Thesis Award
11.Research-administrative
experience		 11th Int. Conference on Algebraic Methodology and Software Technology, PC co-chair (2006)

8th Int. Conference on the Mathematics of Program Construction, PC member (2006)

10th Brazilian Programming Language Symposium, PC member (2006)

10th ACM SIGPLAN International Conference on Functional Programming, OC member (2005)

9th Symposium on Programming Languages and Software Tools, PC and OC member (2005)

5th Advanced Functional Programming Summerschool, PC chair (2004)

2nd APPSEM II Workshop, OC member (2004)

Estonian Winter School in Computer Science, PC and OC member (1996, 1999, 2003, 2004, 2005)

Estonian Computer Science Theory Days, PC and OC member (since 2002)

European Association for Programming Languages and Systems (EAPLS), member (since 2003)
12.Supervised dissertations

Härmel Nestra, MSc, 1998, superv. Varmo Vene. Polütüüpne funktsionaalne programmeerimine: kategooriateoreetilistest alustest praktikasse. Tartu Ülikool
13.Current research program Semantics of programming languages, functional programming, methods of program construction, analysis and manipulation; type theory, category theory
14.Current grant funding
15.List of most important publications

N. Ghani, P. Johann, T. Uustalu, V. Vene. Monadic augment and generalised short cut fusion. In Proc. of 10th ACM SIGPLAN International Conference on Functional Programming, ICFP'05 (Tallinn, 26.-28. Sept. 2005), ACM SIGPLAN-Notices, Vol. 40, No. 9, pp. 294-305, ACM Press, 2005.

P. Laud, V. Vene. A Type System for Computationally Secure Information Flow. In M. Liskiewicz, R. Reischuk, eds., Proc. of 15th International Symposium on Fundamentals of Computational Theory, FCT'05 (Lübeck, 17.-20. Aug. 2005), Lecture Notes in Computer Science (LNCS), Vol. 3623, pp. 365-377, Springer-Verlag, 2005.

T. Uustalu, V. Vene. Comonadic functional attribute evaluation. In M. van Eekelen, ed., Proc. of 6th Symposium on Trends in Functional Programming, TFP'05 (Tallinn, Sept. 2005), pp. 33-43. Institute of Cybernetics, 2005.

T. Uustalu, V. Vene. Signals and comonads. In M. A. Musicante, R. M. F. Lima, eds., Proc. of 9th Brazilian Symposium on Programming Languages, SBLP'05 (Recife, PE, May 2005), pp. 215-228. Univ. de Pernambuco, Recife, 2005.

T. Uustalu, V. Vene. Signals and Comonads. Journal of Universal Computer Science. Vol. 11, No. 7, pp. 1310-1326, Springer-Verlag, 2005.

T. Uustalu, V. Vene. The Essence of Dataflow Programming. In K. Yi, ed., Proc. of 3rd Asian Symposium on Programming Languages and Systems, APLAS'05 (Tsukuba, 3.-5. Nov. 2005), Lecture Notes in Computer Science (LNCS), Vol. 3780, pp. 2-18, Springer-Verlag, 2005.

V. Vene, T. Uustalu (Eds.): Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures. Lecture Notes in Computer Science (LNCS), Vol. 3622, 359 p., Springer-Verlag, 2005.

N. Ghani, T. Uustalu, V. Vene. Build, augment and destroy, universally. In W.-N. Chin, ed., Proc. of 2nd Asian Symposium on Programming Languages and Systems, APLAS'04 (Taipei, 4.-6. Nov. 2004), Lecture Notes in Computer Science (LNCS), Vol. 3302, pp. 327-347, Springer-Verlag, 2004.

V. Capretta, T. Uustalu, V. Vene. Recursive coalgebras from comonads. In J. Adámek, S. Milius, eds., Proc. of 7th International Workshop on Coalgebraic Methods in Computer Science, CMCS'04 (Barcelona, Apr. 2004), Electronic Notes in Theoretical Computer Science (ENTCS), v. 106, pp. 43-61, Elsevier, 2004.

H.Seidl, V.Vene, M.Müller-Olm. Global invariants for analysing multi-threaded applications. Proc. Estonian Academy of Sciences: Phys., Math., 52(4):413-436, 2003.

T.Uustalu, V.Vene. Least and greatest fixed-points in intuitionistic natural deduction. Theoretical Computer Science, 272(1-2):315-339, 2002.

T.Uustalu, V.Vene. The dual of substitution is redecoration. In K.Hammond, S.Curtis, eds, Trends in Functional Programming 3, pp. 99-110. Intellect, Bristol / Portland, OR, 2002.

T.Uustalu, V.Vene, A.Pardo. Recursion schemes from comonads. Nordic Journal of Computing, 8(3):366-390, 2001.

T.Uustalu, V.Vene. Mendler-style inductive types, categorically. Nordic Journal of Computing, 6(3):343-361, 1999.

T.Uustalu, V.Vene. Primitive (co)recursion and course-of-value (co)iteration, categorically. Informatica, 10(1):5-26, 1999.

M.Meriste, J.Penjam, V.Vene. Models of Attributed Automata. Informatica, 9(1):85-105, 1998.

V. Vene, T. Uustalu. Functional programming with apomorphisms (corecursion). Proc. of Estonian Academy of Sciences: Phys., Math., 47(3):147-161, 1998.

last updated: 24.01.2006

[ sulge aken ]