Varmo Vene

Varmo Vene (sündinud 2. juulil 1968) on eesti arvutiteadlane. 

Vene kaitses 1994. aastal Tartu Ülikoolis teadusmagistrikraadi teemal "Näidiste laisk sobitamine ja programmide teisendamine Hope kompilaatoris" ja 2000. aastal samas doktorikraadi teemal "Kategoorne programmeerimine induktiivsete ja koinduktiivsete tüüpidega".

Aastatel 2017–2023 oli Vene Tartu Ülikooli programmeerimiskeelte semantika professor ning loodus- ja täppisteaduste valdkonna õppeprodekaan, pärast seda informaatika bakalaureuse õppekava programmijuht.

Tunnustus

 2015 Tartu Ülikooli aumärk
 2023 Tartu Ülikooli medal

Viited

Kategooria:Eesti matemaatikud
Kategooria:Tartu Ülikooli matemaatikateaduskonna vilistlased
Kategooria:Tartu Ülikooli loodus- ja täppisteaduste valdkonna professorid
Kategooria:Sündinud 1968
Kategooria:Eesti informaatikud