Ján Komara

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

Výučba

Výskum

  • matematická logika, teória vypočítateľnosti, formálna aritmetika
  • teória a prax deklaratívnych programovacích jazykov
  • dokazovanie vlastností programov
  • pozri tiež homepage

Publikácie

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