Line 3: Line 3:
 
   | caption  = Ján Kľuka
 
   | caption  = Ján Kľuka
 
   | image    =  
 
   | image    =  
   | section  = Oddelenie deklaratívneho programovania
+
   | section  = Section of Declarative Programming
   | position = učiteľ
+
   | position = teacher
 
   | phone    = (+421 2 602 95) 869
 
   | phone    = (+421 2 602 95) 869
 
   | room    = i34
 
   | room    = i34
 
   | 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]
}}
+
  | info    =
 +
 
 
=== Teaching ===
 
=== Teaching ===
 
* ''none''
 
* ''none''
Line 20: Line 21:
 
===  Publications ===
 
===  Publications ===
 
* ''none''
 
* ''none''
 
+
}}
<!--
+
=== ===
+
<div style="font-size:7pt;">
+
----
+
Responsible for pages:
+
*
+
</div>
+
-->
+

Revision as of 11:28, 26 August 2008

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

  • none

Research

  • declarative programming techniques & implementation
  • logic
  • theorem proving

Publications

  • none