Vessela Baleva

Education

• Faculty of Mathematics and Informatics, Sofia University, 1990 - 1995, Master of science in Mathematical Logic.

Professional data

• Assistant Professor,  Faculty of Mathematics and Informatics, Sofia University, 1998 -

Areas of research interests

• Mathematical Logic.
• Computability Theory.
• Theoretical Computer Science.
• Logic Programming.

Teaching Activities

• Computing:  Logic Programming.
• Theoretical Computer Science: Semantics of programming languages, Foundations of Logic programming.
• Mathematical Logic: Recursion Theory.