Jan Komara

Teaching
 1AIN121 Mathematics (1)  Introduction to Mathematical Reasoning
 1AIN188 Mathematics (2)  Mathematical Analysis
 1AIN160 Mathematics (3)  Discrete Mathematics
 1AIN470 Specification and Verification of Programs
 2AIN285 Symbolic programming and LISP
 2AIN266 Declarative Programming
Former Teaching
 1AIN120 Discrete Mathematics (1)
 1AIN160 Discrete Mathematics (2)
 1AIN210 Algorithms and Data Structures
 1AIN505 Introduction to Declarative Programming
 1AIN616 Symbolic programming and LISP
 1AIN625 Introduction to Mathematical Logic for Programmers
 1INF450 Logic for Computer Science
 1INF465 Declarative Programming
 2INF121 Computability Theory
 2INF264 Theory of Declarative Programming
Research
 mathematical logic, formal arithmetic
 recursion theory, theory of computability
 theory and practice of declarative programming languages
 theorem proving, specification and verification of programs