University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Hristina Palikareva

Personal photo - Hristina Palikareva
Hristina Palikareva
Doctoral Student

Interests

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

Biography

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.

 

Teaching

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.

Info

Themes

Activities

Completed Projects

Supervisors

SHARE THIS: