Formal Methods Group

Full name: Mgr. David Hauzar
Email: hauzar<at-sign>d3s.mff.cuni.cz
Web: http://d3s.mff.cuni.cz/~hauzar
Phone: +420 221 914 121
Office: Room No. 309
Malostranské náměstí 25
118 00  Praha 1
Czech Republic

Full name: Mgr. Pavel Jančík
Email: pavel.jancik<at-sign>d3s.mff.cuni.cz
Web: http://d3s.mff.cuni.cz/~jancik/
Phone: +420 221 914 121
Office: Room No. 309
Malostranské náměstí 25
118 00  Praha 1
Czech Republic

Full name: RNDr. Jan Kofroň, Ph.D.
Email: kofron<at-sign>d3s.mff.cuni.cz
Web: http://d3s.mff.cuni.cz/~kofron/
Phone: +420 221 914 285
Office: Room No. 309
Malostranské náměstí 25
118 00  Praha 1
Czech Republic

Full name: RNDr. Pavel Parízek, Ph.D.
Email: parizek<at-sign>d3s.mff.cuni.cz
Web: http://d3s.mff.cuni.cz/~parizek/
Phone: +420 221 914 235
Office: Room No. 204
Malostranské náměstí 25
118 00  Praha 1
Czech Republic
Note: currently on postdoc

Full name: prof. Ing. František Plášil, DrSc.
Email: plasil<at-sign>d3s.mff.cuni.cz
Web: http://d3s.mff.cuni.cz/~plasil/
Phone: +420 221 914 266
Fax: +420 221 914 323
Office: Room No. 212
Malostranské náměstí 25
118 00  Praha 1
Czech Republic

Full name: RNDr. Ondřej Šerý, Ph.D.
Email: sery<at-sign>d3s.mff.cuni.cz
Web: http://d3s.mff.cuni.cz/~sery/
Phone: +420 221 914 285
Office: Room No. 309
Malostranské náměstí 25
118 00  Praha 1
Czech Republic