Revision as of 11:11, 14 January 2011

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: klukafmph.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

• Úvod do deklaratívneho programovania
• Deklaratívne programovanie webovských aplikácií

Výskum

• declarative programming techniques & implementation
• logic
• theorem proving

Publikácie

• viď homepage