Line 6: Line 6:
 
   | position = teacher
 
   | position = teacher
 
   | phone    = +421 2 602 95 869
 
   | phone    = +421 2 602 95 869
   | room    = i34
+
   | room    = i33b
 
   | email    = kluka[[Image:zavinac.gif|@]]fmph.uniba.sk
 
   | email    = kluka[[Image:zavinac.gif|@]]fmph.uniba.sk
 
   | web      = [http://ii.fmph.uniba.sk/~kluka/ homepage]
 
   | web      = [http://ii.fmph.uniba.sk/~kluka/ homepage]

Revision as of 16:15, 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: i33b
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