Line 13: Line 13:
 
=== Teaching ===
 
=== Teaching ===
 
* 1-AIN-121 [[Mathematics 1 - Introduction to Mathematical Reasoning|Mathematics (1) - Introduction to Mathematical Reasoning]]   
 
* 1-AIN-121 [[Mathematics 1 - Introduction to Mathematical Reasoning|Mathematics (1) - Introduction to Mathematical Reasoning]]   
 +
* 1-AIN-188 [[Mathematics 2 - Mathematical Analysis|Mathematics (2) - Mathematical Analysis]] 
 
* 1-AIN-160 [[Mathematics 3 - Discrete Mathematics|Mathematics (3) - Discrete Mathematics]]
 
* 1-AIN-160 [[Mathematics 3 - Discrete Mathematics|Mathematics (3) - Discrete Mathematics]]
 
* 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]]
 
* 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]
* 2-AIN-??? [[Declarative Programming|Declarative Programming]]
+
* 2-AIN-266 [[Declarative Programming|Declarative Programming]]
  
 
=== Former Teaching  ===
 
=== Former Teaching  ===

Revision as of 12:27, 5 April 2018

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