Line 13:  Line 13:  
=== Teaching ===  === Teaching ===  
* 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]]  
+  * 1AIN470 [[Specification and Verification of ProgramsSpecification and Verification of Programs]]  
+  * 2INF265 [[Declarative ProgrammingDeclarative Programming]]  
+  * 2INF264 [[Theory of Declarative ProgrammingTheory of Declarative Programming]]  
+  ==== Former Teaching (up to AY 2014/15) ====  
* 1AIN120 [[Discrete Mathematics 1Discrete Mathematics (1)]]  * 1AIN120 [[Discrete Mathematics 1Discrete Mathematics (1)]]  
* 1AIN160 [[Discrete Mathematics 2Discrete Mathematics (2)]]  * 1AIN160 [[Discrete Mathematics 2Discrete Mathematics (2)]] 
Revision as of 11:00, 25 September 2015
Jan Komara

Teaching
 1AIN121 Mathematics (1)  Introduction to Mathematical Reasoning
 1AIN160 Mathematics (3)  Discrete Mathematics
 1AIN470 Specification and Verification of Programs
 2INF265 Declarative Programming
 2INF264 Theory of Declarative Programming
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