|
2004 Bachelor in Computer Science at Sofia University , Faculty of Mathematics and Informatics.
2005 Master in Mathemathics at Sofia University, "Mathematical Logic and algorithms" .
2008 PhD at University of Leeds under the supervision of prof. S. B. Cooper.
|