Riadok 20: Riadok 20:
  
 
=== Research ===
 
=== Research ===
* mathematical logic, theory of computability, formal arithmetic
+
* mathematical logic, formal arithmetic
 +
* recursion theory, theory of computability
 
* theory and practice of declarative programming languages
 
* theory and practice of declarative programming languages
* theorem proving
+
* theorem proving, specification and verification of programs
* see also [http://ii.fmph.uniba.sk/~komara/ homepage]
+
  
 
===  Publications ===
 
===  Publications ===
 
* see [http://ii.fmph.uniba.sk/~komara/ homepage]
 
* see [http://ii.fmph.uniba.sk/~komara/ homepage]
 
}}
 
}}

Verzia zo dňa a času 19:41, 4. jún 2010

Ján Komara

Photo of Ján Komara
Name: Ing. Ján Komara
teacher
Section: Section of Declarative Programming
Phone: +421 2 602 95 727
Email: komara@fmph.uniba.sk
Office: i16
Address: Ing. Ján Komara
Department of Applied Informatics
FMFI UK
Mlynská dolina
824 48 Bratislava
Slovakia
Web: homepage

Teaching

Research

  • mathematical logic, formal arithmetic
  • recursion theory, theory of computability
  • theory and practice of declarative programming languages
  • theorem proving, specification and verification of programs

Publications