A.M. Golov (Anton)

Promovendus - Mathematics

A.M. Golov (Anton)
Bezoekadres

Heyendaalseweg 135
6525 AJ NIJMEGEN
Interne postcode: 59

Postadres

Postbus 9010
6500 GL NIJMEGEN

Ik werk aan de snijvlak van wiskunde en informatica, met een focus op modellen van berekenbaarheid. Mijn werk tot nu toe gaat voornamelijk in op hoe resultaten over orakel berekenbaarheid in een gespecialiseerde setting terug te vertalen zijn naar reducties in de zin van de klassieke berekenbaarheidstheorie.

Ik ben ook geïnteresseerd in de theorie van programeertalen en in software verificatie, in het bijzonder in de verbanden hiervan met type theorie en categorie theorie.

Nevenfuncties