Vasileios Koutavas

MathSciNet


Ph.D. Northeastern University 2008 UnitedStates
Dissertation: Reasoning about Imperative and Higher-Order Programs
Mathematics Subject Classification: 68—Computer science

Advisor 1: Mitchell Wand

Student:

NameSchoolYearDescendants
Spaccasassi, CarloTrinity College, Dublin2015

According to our current on-line database, Vasileios Koutavas has 1 student and 1 descendant.
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 154977 for the advisor ID.