Riadok 27: Riadok 27:
  
 
=== Publikácie ===
 
=== Publikácie ===
* pozri [http://ii.fmph.uniba.sk/~komara/ homepage]
+
* pozri [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010040116113326631&skin=epc&lng=sk&inst=consortium&conf=.%2fchameleon.conf&host=158.195.4.49%2b9909%2bDEFAULT&sourcescreen=INITREQ&scant1=Komara&scanu1=1003&elementcount=1&t1=Komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal Akademickej knižnice UK]
 +
* pozri tiež [http://ii.fmph.uniba.sk/~komara/ homepage]
 
}}
 
}}

Verzia zo dňa a času 19:56, 4. jún 2010

Ján Komara

Ján Komara – fotografia
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, 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