> Personal homepage for (mainly) academic purposes of Petr Švarný.

> PhD student at the Czech Technical University, Faculty of Electrical Engineering, Department of Cybernetics.
> PhD student at the Charles University in Prague, Faculty of Arts, Department of logic.
> Product manager at Seznam.cz.

> Interests in Logic:
-- Temporal logics
-- Mutli-agent dynamic epistemic logics
-- Application of logics in other sciences (physics, AI,...)

> General scientific interests:
-- Time
-- AI
-- Cognitive science
-- Complex systems
-- Modelling