Olga Tveretina

                                                   

                                                       Principal Lecturer in Computer Science

                                                     

School of Physics, Engineering and  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   

• reachability problem for 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

• The 2nd International Conference on Societal Automation 2020, a track co-chair
• 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 >>>

I serve as a reviewer for Mathematical Reviews® (MR), a journal and online database published by the American Mathematical Society (AMS)      >>>

Personal:

I am born in Tomsk, Russia