Ján Komara

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
  • see also homepage

Publications

Verzia z 19:29, 4. jún 2010, ktorú vytvoril Komara (Diskusia | príspevky)