Last updated:
September 2017
 
Undergraduate courses 
 
home
short vitae
teaching
graduate students
research
publications
events and activities
some links
mail to V.Goranko

Back to my home page

Experience:

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

 

Current:

Logic in Computer Science and Artificial Intelligence

(September - December 2017)

 

Graduate courses    

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 computer science
  • Logic in artificial intelligence and multi-agent systems
  • Logic in computer science and artificial intelligence
  • Logic in computer science, artificial intelligence and multi-agent systems
 

 

Autumn 2016:

Logic in Computer Science and Artificial Intelligence

(September - November 2016)

 

Spring 2017:

Modal Logics from Philosophical Perspective

(February - May 2017)

 


Postgraduate summer school courses:    
  • 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.
     
 
 
  top