Line 1: Line 1:
 
{{Osoba
 
{{Osoba
   | fullname = Mgr. Ján Kľuka
+
   | fullname = Mgr. Ján Kľuka, PhD.
 
   | caption  = Ján Kľuka
 
   | caption  = Ján Kľuka
 
   | image    = kluka.jpg
 
   | image    = kluka.jpg

Revision as of 11:11, 14 January 2011

Ján Kľuka

Ján Kľuka
Meno: Mgr. Ján Kľuka, PhD.
učiteľ
Oddelenie: Oddelenie deklaratívneho programovania
Telefón: (+421 2 602 95) 374
Email: kluka@fmph.uniba.sk
Miestnosť: i33b
Adresa: Mgr. Ján Kľuka, PhD.
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