Ján Kľuka

in the Web

Ján Kľuka is an assistant professor at Department of Applied Informatics of Faculty of Mathematics, Physics, and Informatics, Comenius University, Bratislava, Slovakia.

Teaching

• Introduction to declarative programming,
• Applied declarative programming,
• Modern approaches to web design.

Bachelor Theses / Bakalárske práce

I can superwise bachelor theses in declarative programming and web programming.

Contact

In the order of preference:

E-mail	kluka put the at-sign here fmph.uniba.sk
Office	I-16
Office phone	+421 2 602 95 727

Publications

See Ján's Scholar profile.

• Modular Programming and Verification in Second-Order Arithmetic. PhD thesis. Comenius University, Bratislava, 2010. thesis (pdf)

• 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)

© Ján Kľuka, 2014 — Last updated: 2014-08-20