Katedra aplikovanej informatiky

Jan Komara

Name: Ing. Ján Komara, PhD. teacher Section: Section of Declarative Programming Phone: +421 2 602 95 727 Email: komarafmph.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

• 1-AIN-121 Mathematics (1) - Introduction to Mathematical Reasoning
• 1-AIN-160 Mathematics (3) - Discrete Mathematics
• 1-AIN-470 Specification and Verification of Programs
• 1-AIN-616 Symbolic programming and LISP
• 2-INF-265 Declarative Programming
• 2-INF-264 Theory of Declarative Programming
• 2-AIN-285 Symbolic programming and LISP

Former Teaching (up to AY 2014/15)

• 1-AIN-120 Discrete Mathematics (1)
• 1-AIN-160 Discrete Mathematics (2)
• 1-AIN-505 Introduction to Declarative Programming
• 1-AIN-625 Introduction to Mathematical Logic for Programmers
• 1-AIN-470 Specification and Verification of Programs
• 2-AIN-130 Computability Theory for Programmers
• 1-INF-465 Declarative Programming
• 1-INF-450 Logic for Computer Science
• 2-INF-121 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

Publications

• thesis Specification and Verification of Programs in Peano Arithmetic
• see iPortal of Comenius University Library
• see also homepage

---

Responsible for pages:

• Introduction_to_Mathematical_Logic_for_Programmers
• Jan_Komara
• Mathematics_1_-_Introduction_to_Mathematical_Reasoning
• Specification_and_Verification_of_Programs
• Theory_of_Declarative_Programming