Line 16: Line 16:
 
* 1-AIN-210 [[Algorithms and Data Structures|Algorithms and Data Structures]]
 
* 1-AIN-210 [[Algorithms and Data Structures|Algorithms and Data Structures]]
 
* 1-AIN-470 [[Specification and Verification of Programs|Specification and Verification of Programs]]
 
* 1-AIN-470 [[Specification and Verification of Programs|Specification and Verification of Programs]]
* 1-AIN-616 [http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-616-lisp/?lang=en Symbolic programming and LISP]
 
* 2-INF-265 [[Declarative Programming|Declarative Programming]]
 
* 2-INF-264 [[Theory of Declarative Programming|Theory of Declarative Programming]]
 
 
* 2-AIN-285 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-285-lisp/?lang=en Symbolic programming and LISP]
 
* 2-AIN-285 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-285-lisp/?lang=en Symbolic programming and LISP]
==== Former Teaching (up to AY 2014/15) ====
+
* 2-AIN-??? [[Declarative Programming|Declarative Programming]]
 +
 
 +
=== Former Teaching  ===
 
* 1-AIN-120 [[Discrete Mathematics 1|Discrete Mathematics (1)]]
 
* 1-AIN-120 [[Discrete Mathematics 1|Discrete Mathematics (1)]]
 
* 1-AIN-160 [[Discrete Mathematics 2|Discrete Mathematics (2)]]
 
* 1-AIN-160 [[Discrete Mathematics 2|Discrete Mathematics (2)]]
 
* 1-AIN-505 [[Introduction to Declarative Programming|Introduction to Declarative Programming]]
 
* 1-AIN-505 [[Introduction to Declarative Programming|Introduction to Declarative Programming]]
 +
* 1-AIN-616 [http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-616-lisp/?lang=en Symbolic programming and LISP]
 
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers]]
 
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers]]
* 1-AIN-470 [[Specification and Verification of Programs]]
+
<!-- * 2-AIN-130 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-130-vyp/?lang=en Computability Theory for Programmers] -->
* 2-AIN-130 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-130-vyp/?lang=en Computability Theory for Programmers]
+
* 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=en Declarative Programming]
+
 
* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=en Logic for Computer Science]
 
* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=en Logic for Computer Science]
 +
* 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=en Declarative Programming]
 
* 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=en Computability Theory]
 
* 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=en Computability Theory]
 +
* 2-INF-264 [[Theory of Declarative Programming|Theory of Declarative Programming]]
  
 
=== Research ===
 
=== Research ===

Revision as of 10:43, 7 April 2017

Jan Komara

Jan Komara
Name: Ing. Ján Komara, PhD.
teacher
Section: Section of Declarative Programming
Phone: +421 2 602 95 727
Email: komara@fmph.uniba.sk
Office: I-16
Address: Ing. Ján Komara, PhD.
Department of Applied Informatics
FMFI UK
Mlynská dolina
824 48 Bratislava
Slovakia
Web: homepage

Teaching

Former Teaching

Research

  • mathematical logic, formal arithmetic
  • recursion theory, theory of computability
  • theory and practice of declarative programming languages
  • theorem proving, specification and verification of programs

Publications