- formal software verification
- model checking
- 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 Informatics, Sofia 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.
- Practical demonstrator for Probabilistic Model Checking - Michaelmas Term 2010
- Practical demonstrator for Compilers - Hilary Term 2010
- Practical demonstrator for Concurrency - Hilary Term 2010
- Practical demonstrator for Probabilistic Model Checking - Michaelmas Term 2009
- Practical demonstrator for Compilers - Hilary Term 2009
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.
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.