Experience:

• Calculus
• Advanced calculus
• Abstract analysis
• Linear algebra
• Analytic geometry
• Complex analysis
• Discrete Mathematics
• Design and analysis of algorithms
• Logic and set theory

Experience:

• Mathematical logic
• Universal algebra and model theory
• Set theory
• Topology
• Discrete mathematical structures
• Modal and temporal logics
• Mathematical foundations of computer science
• Logic in artificial intelligence
• Logic in computer science
• Logic in artificial intelligence and multi-agent systems
• Logic in computer science, artificial intelligence and multi-agent systems

• Logics of knowledge and strategic abilities in multi-agent systems, course given at the 23rd European Summer School in Logic, Language and Information (ESSLLI'2011), Ljubljana, August 1-5, 2011.
• Tableau-based decision methods for temporal logics and multi-agent logics of knowledge and strategic abilities, course given at the 23rd European Summer School in Logic, Language and Information (ESSLLI'2011), Ljubljana, August 8-12, 2011.

• Temporal Logics for Specification and Verification, course given at the 21St European Summer School in Logic, Language and Information (ESSLLI'2009), Bordeaux, July 20-31, 2009.

• Temporal Logics for Specification and Verification, introductory course given at the Faculty of Mathematics and Informatics, Sofia University.
• Interval temporal logics, co-presented with Angelo Montanari at the 20th European Summer School in Logic, Language and Information (ESSLLI'2008), Hamburg, August 4-15, 2008.

• Temporal logics and verification of infinite-state systems, co-presented with Stephane Demri at the 19th European Summer School in Logic, Language and Information (ESSLLI'2007), Dublin, Ireland, August 6-10, 2007.
  
• Logic and Computation in Finitely Presentable Infinite Structures, co-presented with Sasha Rubin at the 18th European Summer School in Logic, Language and Information (ESSLLI'2006), Malaga, Spain, July 31-August 12, 2006.
  
  
• Modal Logics for Multi Agent Systems, co-presented with Wojtek Jamroga at the 18th European Summer School in Logic, Language and Information (ESSLLI'2006), Malaga, Spain, July 31-August 12, 2006.
  
  
• Temporal logics of computations, lecture notes (currently, under major revision) for a course presented at the 12th European Summer School on Logic, Language and Information in Birmingham, August 2000.