Olga Tveretina

"If everybody minded their own business, the world would go around a great deal faster than it does."

- Lewis Carrol, Alice in Wonderland


"Any clod can have the facts, but having opinions is an art."

- Charles McCabe


School of Computer Science

University of Hertfordshire

College Lane,

Hatfield, Hertfordshire

AL10 9AB

United Kingdom


email: o.tveretina at herts dot ac dot uk

phone: +44 1707 286403


Some useful links:


Engineering and Physical Science Research Council (EPSRC) >>


The Royal Society >>


The British National Corpus (BNC) >>


Computing Research Repository >>


The Higher Education Academy >>




Senior Lecturer

School of Computer Science >>>

University of Hertfordshire >>>


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.


Research interests:

My research interests include but are not limited to

  • verification of hybrid systems
  • propositional proof complexity
  • decision procedures for software and hardware verification
  • parallel computing

More information can be found here >>>


Professional activities:

I participated in the organisation of some scientific events such as

  • Computing 2011, a symposium devoted to the 75th anniversary of two pioneering works on the theory of computation:

"On Computable Numbers, with an Application to the Entscheidungsproblem" by Alan Turing and "An Unsolvable Problem of Elementary Number Theory" by Alonzo Church >>>



  • SPA 2011: SAT for Practical Applications, affiliated with SAT 2011
  • PPC 10: Propositional Proof Complexity: Theory and Practice, affiliated with the Federated Logic Conference (FLoC 2010)/ SAT 2010 >>>
  • Program committee member of DATICS >>>


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.