University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Hristina Palikareva

Personal photo - Hristina Palikareva
Hristina Palikareva
Doctoral Student


  • formal software verification
  • model checking
  • concurrency
  • SAT
  • partial-order reductions
  • static analysis


I am currently a fourth-year DPhil student at the Department of Computer Science, University of Oxford. I am working on the project "CSP Model Checking: New Technology and Techniques" under the supervision of Prof. Bill Roscoe and Dr. Joel Ouaknine. I obtained a B.Sc. (October 2002) and an M.Sc. (June 2006) in Computer Science at the Faculty of Mathematics and InformaticsSofia University “St. Kliment Ohridski”. I completed the M.Sc. programme Logic and Algorithms at the Department of Mathematical Logic and Applications. Between 2001 and 2007, I also worked as a software engineer at MPS Ltd., Sofia, Bulgaria.



Selected Publications

View all

Manage publications

A Static Analysis Framework for Livelock Freedom in CSP

Joel Ouaknine‚ Hristina Palikareva‚ A. W. Roscoe and James Worrell

In Logical Methods in Computer Science. 2012.

To appear.

SAT−Solving in CSP Trace Refinement

Hristina Palikareva‚ Joel Ouaknine and A. W. Roscoe

In Science of Computer Programming‚ special issue on Automated Verification of Critical Systems. Vol. 77. No. 10−11. Pages 1178−1197. 2012.

Recent Developments in FDR

Philip Armstrong‚ Michael Goldsmith‚ Gavin Lowe‚ Joel Ouaknine‚ Hristina Palikareva‚ A. W. Roscoe and James Worrell

In P. Madhusudan and S. A. Seshia, editors, CAV 2012: Proceedings of the 24th International Conference on Computer Aided Verification. Vol. 7358 of Lecture Notes in Computer Science. Pages 699–704. Springer−Verlag Berlin Heidelberg. 2012.




Completed Projects