Jan Komara/sk: Rozdiel medzi revíziami

Riadok 2: Riadok 2:
 
   | fullname = Ing. Ján Komara, PhD.
 
   | fullname = Ing. Ján Komara, PhD.
 
   | caption  = Ján Komara
 
   | caption  = Ján Komara
   | image    =  
+
   | image    = komara.png
 
   | section  = Oddelenie deklaratívneho programovania
 
   | section  = Oddelenie deklaratívneho programovania
 
   | position = učiteľ
 
   | position = učiteľ

Verzia zo dňa a času 18:35, 1. marec 2015

Ján Komara

Ján Komara
Meno: Ing. Ján Komara, PhD.
učiteľ
Oddelenie: Oddelenie deklaratívneho programovania
Telefón: (+421 2 602 95) 727
Email: komara@fmph.uniba.sk
Miestnosť: I-16
Adresa: Ing. Ján Komara, PhD.
Katedra aplikovanej informatiky
FMFI UK
Mlynská dolina
824 48 Bratislava
Web: homepage

Výučba

Výskum

  • matematická logika, formálna aritmetika
  • teória rekurzívnych funkcií, teória vypočítateľnosti
  • teória a prax deklaratívnych programovacích jazykov
  • dokazovanie vlastností, špecifikácia a verifikácia programov

Publikácie