School of Computer Science
University of Hertfordshire
email: o.tveretina at herts dot ac dot uk
phone: +44 1707 286403
I received my master's degree in applied mathematics (major in probability theory) from Tartu University in Estonia and PhD degree in computer science from Eindhoven University of Technology in the Netherlands.
My PhD thesis titled "Decision procedures for equality logic with uninterpreted functions" can be found here. I spent some years as a postdoctoral researcher at Karlsruhe Institute of Technology and Radbaud University Nijmegen.
My research interests include but are not limited to
More information can be found here >>>
I participated in the organisation of some scientific events such as
"On Computable Numbers, with an Application to the Entscheidungsproblem" by Alan Turing and "An Unsolvable Problem of Elementary Number Theory" by Alonzo Church >>>
I serve as a reviewer for Mathematical Reviews® (MR), a journal and online database published by the American Mathematical Society (AMS) >>>
I come from Tomsk, one of the oldest Siberian cities. The first university in Siberia, the first drama theatre and the first book store – all these were opened here. It hosts quite a few of academic institutions. But its main attraction is the "wooden-lace" architecture.
My daughter Christina is studying Law at Groningen University in the Netherlands.