Dimitar Guelev

Education

Ph.D. (Mathematical Logic), Sofia University, 2001

Interests

Temporal logic, formal methods and theoretical computer science

We are Social