Katedra aplikovanej informatiky

Ján Kľuka

Name: Mgr. Ján Kľuka učiteľ Section: Oddelenie deklaratívneho programovania Phone: (+421 2 602 95) 869 Email: klukafmph.uniba.sk Office: i34 Address: Mgr. Ján Kľuka Department of Applied Informatics FMFI UK Mlynská dolina 824 48 Bratislava Slovakia Web: homepage

---

Responsible for pages:

• Box
• Declarative_Programming_of_Web_Applications
• DP_Group
• Jan_Kluka
• Link
• Master_program_in_Applied_Informatics_2010--2015
• NewsItem

Teaching

• none

Research

• declarative programming techniques & implementation
• logic
• theorem proving

Publications

• none