Riadok 1: Riadok 1:
 
{{Person
 
{{Person
   | fullname = Ing. Ján Komara
+
   | fullname = Ing. Ján Komara, PhD.
 
   | caption  = Ján Komara
 
   | caption  = Ján Komara
 
   | image    =  
 
   | image    =  
Riadok 6: Riadok 6:
 
   | position = teacher
 
   | position = teacher
 
   | phone    = +421 2 602 95 727
 
   | phone    = +421 2 602 95 727
   | room    = i16
+
   | room    = I-16
 
   | email    = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
 
   | email    = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
 
   | web      = [http://ii.fmph.uniba.sk/~komara/ homepage]
 
   | web      = [http://ii.fmph.uniba.sk/~komara/ homepage]

Verzia zo dňa a času 12:19, 20. február 2011

Ján Komara

Photo of Ján 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