Ján Kľuka's Home in the Web

I (Ján Kľuka) am a PhD. student at Department of Applied Informatics of Faculty of Mathematics, Physics, and Informatics, Comenius University, Bratislava, Slovakia. I am involved in

development of CL (CL Download)
teaching of
- Introduction to declarative programming,
and also of
- Modern approaches to web design,

Bachelor Theses / Bakalárske práce

I would like to superwise bachelor theses in web programming and declarative programming.

Contact

In the order of preference:

E-mail	kluka put the at-sign here fmph.uniba.sk
Office	I-34 (Tuesdays 14:30–16:30)
Office phone	+421 2 602 95 869
ICQ	19 34 34 095
IRC	crankyjack on IRCnet #matfyz

Papers

A Proof Calculus with Case Analysis as its Only Rule. With Paul J. Voda. Submitted to CSL09.

paper (pdf)
A Simple and Practical Valuation Tree Calculus for First-Order Logic. With Paul J. Voda. Accepted for presentation at CiE09.

paper (pdf) — slides (pdf)
Congruence-Anticongruence Closure. In M. Češka, J. Gruska, A. Kučera, eds.: Pre-Proceedings. 1^st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Znojmo, Czech Republic, October 2005.

paper (pdf) — slides (pdf)
A Simple Semantics for Destructive Updates. In B. ten Cate, ed.: Proceeding of the Eighth ESSLLI Student Session. Vienna, Austria, August 2003.

paper (ps)

Utilities

A convertor of plain text to HTML entities and URI escapes for obfuscation of e-mail addresses and ICQ numbers.

More to come... maybe... once...