Line 12: Line 12:
  
 
=== Teaching ===
 
=== Teaching ===
 +
* 1-AIN-121 [[Mathematics 1 - Introduction to Mathematical Reasoning|Mathematics (1) - Introduction to Mathematical Reasoning]] 
 
* 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)]]

Revision as of 23:12, 21 September 2015

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

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