Verzia zo dňa a času 10:12, 14. január 2011

Name: Mgr. Ján Kľuka, PhD. teacher Section: Section of Declarative Programming Phone: +421 2 602 95 374 Email: klukafmph.uniba.sk Office: i33b Address: Mgr. Ján Kľuka, PhD. Department of Applied Informatics FMFI UK Mlynská dolina 824 48 Bratislava Slovakia Web: homepage

Teaching

• Introduction to Declarative Programming
• Declarative Programming of Web Applications

Research

• declarative programming techniques & implementation
• logic
• theorem proving

Publications

• see homepage