Ján Komara

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

Teaching

Research

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


Publications

  • none