Line 14:  Line 14:  
* 1AIN121 [[Mathematics 1  Introduction to Mathematical ReasoningMathematics (1)  Introduction to Mathematical Reasoning]]  * 1AIN121 [[Mathematics 1  Introduction to Mathematical ReasoningMathematics (1)  Introduction to Mathematical Reasoning]]  
* 1AIN160 [[Mathematics 3  Discrete MathematicsMathematics (3)  Discrete Mathematics]]  * 1AIN160 [[Mathematics 3  Discrete MathematicsMathematics (3)  Discrete Mathematics]]  
−  
* 1AIN210 [[Algorithms and Data StructuresAlgorithms and Data Structures]]  * 1AIN210 [[Algorithms and Data StructuresAlgorithms and Data Structures]]  
+  * 1AIN470 [[Specification and Verification of ProgramsSpecification and Verification of Programs]]  
* 1AIN616 [http://ii.fmph.uniba.sk/cl/view/courses/1AIN616lisp/?lang=en Symbolic programming and LISP]  * 1AIN616 [http://ii.fmph.uniba.sk/cl/view/courses/1AIN616lisp/?lang=en Symbolic programming and LISP]  
* 2INF265 [[Declarative ProgrammingDeclarative Programming]]  * 2INF265 [[Declarative ProgrammingDeclarative Programming]] 
Revision as of 19:29, 17 September 2016
Jan Komara

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