Home * People * Mirko Čubrilo
mcubrilo.jpg

Mirko Čubrilo,
a Croatian computer scientist and full professor at Faculty of Organization and Informatics in Varaždin, University of Zagreb [1]. His research and teaching focuses on knowledge bases and semantic web, logic programming, and database theory.

Along with Marko Maliković, Mirko Čubrilo worked on retrograde chess problems using the interactive theorem prover Coq [2], and with Predrag Janičić and Marko Maliković on the correctness of a KRK endgame strategy by SAT-based constraint solving, as introduced 2012 at the Fifth Workshop on Formal and Automated Theorem Proving and Applications, Belgrade [3].
Mirko Čubrilo [4]

Selected Publications

[5]

External Links


References

  1. ^ Mirko Čubrilo / Staff / Home - Faculty of Organization and Informatics
  2. ^ Marko Maliković, Mirko Čubrilo (2010). What Were the Last Moves? International Review on Computers and Software
  3. ^ Marko Maliković, Mirko Čubrilo, Predrag Janičić (2012). Formal Analysis of Correctness of a Strategy for the KRK Chess Endgame. Fifth Workshop on Formal and Automated Theorem Proving and Applications, Belgrade, Serbia, slides as pdf
  4. ^ Mirko Čubrilo / Staff / Home - Faculty of Organization and Informatics
  5. ^ Croatian scientific bibliography - List of papers
  6. ^ Coq from Wikipedia

What links here?


Up one level