Ivan Havel

Department of Cybernetics , Faculty of Electrical Engineering
Czech Technical University
Technická 2, 166 27 Prague 6, Czech Republic

Tel.:  +420 221 500 216
Fax:  +420 224 357 224
E-mail:

The Member of: Gerstner Laboratory - - Undefined -
Current Position: - Canceled -
Research Interests:
Teaching: Artificial Intelligence, Prolog Programming, Software Testing and Verification
Education:

PhD. in Artificial Intelligence and Biocybernetics at Czech Technical University (2010)

Ing. in Technical Cybernetics at Czech Technical University (2003)

MSc. in Electrical Engineering at Union College (2002)

Publications:

Ivan Havel: Component diagnosability via directional resolution. In Cybernetics and Systems 2006. Vienna: Austrian Society for Cybernetic Studies, 2006. ISBN 3-85206-172-5.

Other Links: Personal pages

Department of Cybernetics, © 1996-2007