Varmo Vene


Ph.D. University of Tartu 2000 Estonia
Dissertation: Categorical programming with inductive and coinductive types
Mathematics Subject Classification: 68—Computer science

Advisor 1: Merik Meriste

Click here to see the students listed in chronological order.

Kabanov, JevgeniUniversity of Tartu2013
Nestra, HärmelUniversity of Tartu2006
Randmets, JaakUniversity of Tartu2017
Vojdani, VesalUniversity of Tartu2010

According to our current on-line database, Varmo Vene has 4 students and 4 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 220734 for the advisor ID.