Hristina Palikareva
| Hristina Palikareva
Doctoral Student
hristina.palikareva@comlab.ox.ac.uk
Wolfson Building, Parks Road, Oxford OX1 3QD
|
interests
- formal software verification
- model checking
- concurrency
- SAT
biography
I am currently a third-year DPhil student at the Oxford University Computing Laboratory. 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 specialist at MPS Ltd., Sofia, Bulgaria.
selected publications
(View all)
|
Faster FDR Counterexample Generation Using SAT-Solving
H. Palikareva, J. Ouaknine, A. W. Roscoe
In Liam O'Reilly, Markus Roggenbach, editors, AVoCS'09 — PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems Swansea University, Wales, UK, September 2009.
Details
|
BibTeX
| Link (pdf) |
info
|
