Line 12: Line 12:
  
 
=== Teaching ===
 
=== Teaching ===
* ''none''
+
* [[Introduction to Declarative Programming]]
 +
* [[Declarative Programming of Web Applications]]
  
 
=== Research ===
 
=== Research ===
Line 20: Line 21:
  
 
===  Publications ===
 
===  Publications ===
* ''none''
+
* see [http://ii.fmph.uniba.sk/~kluka/ homepage]
 
}}
 
}}

Revision as of 15:53, 22 September 2009

Ján Kľuka

Ján Kľuka
Name: Mgr. Ján Kľuka
teacher
Section: Section of Declarative Programming
Phone: +421 2 602 95 869
Email: kluka@fmph.uniba.sk
Office: i34
Address: Mgr. Ján Kľuka
Department of Applied Informatics
FMFI UK
Mlynská dolina
824 48 Bratislava
Slovakia
Web: homepage

Teaching

Research

  • declarative programming techniques & implementation
  • logic
  • theorem proving

Publications