Olga Tveretina


Olga Tveretina
Senior Lecturer

    Contact Details

    • office LB205A, College Lane Campus
    • phone +44-1707-28-6403
    • email o.tveretina [at] herts [dot] ac [dot] uk
    • external website click here
    Research Areas

    • Hybrid Systems
    • Propositional Proof Complexity
    • Decision Procedures for Software/Hardware Verification