Prof. RNDr. Petr Stepanek, DrSc.

Professor of Computer Science

Office:

Department of Theoretical Computer Science and Mathematical Logic
Faculty of Mathematics and Physics, Charles University in Prague
Malostranské nám. 2/25, 118 00 Praha 1
Czech Republic
E-mail: stepanek@ktiml.mff.cuni.cz phone: +420221914243
my URL: http://kti.mff.cuni.cz/~stepanek/

Research areas:

Formal methods, Declarative programming, Logic, Multiagent systems
DBLP

Teaching:

I teach following classes:
[Department of Theoretical Computer Science], [Faculty of Mathematics and Physics], [Charles University], [Prague], [Czech Republic]

Page last generated: Feb 23, 2011
(c) 1997-2011