Michal Certicky

Personal information

Currently I am a PhD student of Informatics at Faculty of Mathematics, Physics and Informatics of Comenius University in Bratislava, Slovakia.
In 2009 I finished the Master program of Cognitive Science at Faculty of Mathematics, Physics and Informatics of Comenius University in Bratislava, Slovakia.
In autumn 2008 I finished one-semester program BSCS (Budapest Semester in Cognitive Science) at Faculty of Sciences, Eötvös Loránd University in Budapest, Hungary.
In 2007 I achieved bachelor degree in Applied Informatics on Faculty of Mathematics, Physics and Informatics of Comenius University in Bratislava, Slovakia.

My current study and research interests revolve around knowledge-based cognitive agents, multi-agent and multi-context systems, ambient intelligence, symbolic reasoning, and action learning.
I am a member of Knowledge Representation Research group (KR/KRG), chaired by Ján Šefránek, at Department of Applied Informatics, Comenius University.

Program Committee member at The Eighth International Conference on Autonomic and Autonomous Systems (ICAS 2012)
ReDIK - Reasoning with Dynamic Inconsistent Knowledge
Representation of incomplete, evolving, and distributed knowledge (interacting with communication platform)
Paralelization of stable model generators for extended logic programs