Home | Sitemap | Index | Contact | Legals | KIT
Jan Kofroň, Ph.D.

Alumnus

Tel: +420 2 2191 4285

Fax: +420 2 2191 4323

jan.kofron(at)dsrg.mff.cuni.cz

Distributed Systems Research Group
Department of Software Engineering
Faculty of Mathematics and Physics
Charles University in Prague, Czech Republic
Malostranske namesti 25
118 00 Praha 1
Czech Republic

Research interests

  • Model Checking
  • Behavior specifications
  • Behavior protocols
  • Extraction of behavior model from code

Teaching and advising

  • NSWI101 – Behavior Models and Verification, 2008/2009
  • Past teaching:
    • PRG032 – Object oriented programming (seminar), 2007/2008
    • SWI101 – Behavior Models and Verification, 2007/2008
    • SWI101 – Behavior Models and Verification (seminar), 2006/2007
    • PRG029 – Programming in C and C++ (seminar), 2006/2007
    • SWI101 – Behavior Models and Verification (seminar), 2005/2006
    • PRG029 – Programming in C and C++ (seminar), 2005/2006
    • SWI101 – Behavior Models and Verification (seminar), 2004/2005
    • PRG029 – Programming in C and C++ (seminar), 2004/2005
    • PRG012 – Programming in C and C++ (seminar), 2003/2004
    • PRG019 – Individual Software Project, 2003/2004
    • PRG029 – Programming in C and C++ (seminar), 2003/2004

Curriculum Vitae (CV)

Available here in pdf

Education

  • Ph.D. in  Software Systems, Faculty of Mathematics and Physics, Charles University, 2007
  • RNDr. in Software Systems, Faculty of Mathematics and Physics, Charles University, 2005#
  • Mgr. (MS equivalent) in Computer Science, Faculty of Mathematics and Physics, Charles University, 2003

Projects