Riadok 2: Riadok 2:
 
   | fullname = Mgr. Ján Kľuka
 
   | fullname = Mgr. Ján Kľuka
 
   | caption  = Ján Kľuka
 
   | caption  = Ján Kľuka
   | image    =  
+
   | image    = kluka.jpg
 
   | section  = Oddelenie deklaratívneho programovania
 
   | section  = Oddelenie deklaratívneho programovania
 
   | position = učiteľ
 
   | position = učiteľ

Verzia zo dňa a času 15:14, 22. september 2009

Ján Kľuka

Ján Kľuka – fotografia
Meno: Mgr. Ján Kľuka
učiteľ
Oddelenie: Oddelenie deklaratívneho programovania
Telefón: (+421 2 602 95) 869
Email: kluka@fmph.uniba.sk
Miestnosť: i34
Adresa: Mgr. Ján Kľuka
Katedra aplikovanej informatiky
FMFI UK
Mlynská dolina
824 48 Bratislava
Web: homepage

Výučba

Výskum

  • declarative programming techniques & implementation
  • logic
  • theorem proving

Publikácie