Academical Homepage of David Safranek

assistant professor,
Faculty of Informatics, Masaryk University

Contact information:

  Botanicka 68a, 602 00 BRNO
  office C518, laboratory C516
  phone: +420 549 49 4476
  office hours: Wednesday 14:00 - 16:00

Email : safranek ( at ) fi.muni.cz

Academic profile	Biographical summary
	Publications complete list of my publications my PhD thesis proposals my PhD thesis (gzipped PS, PDF) list of papers citing my work
	Teaching my teaching timetable Fall PB050 - Modeling and prediction in Systems Biology (in Czech) PA052 - Introduction to Systems Biology (in Czech) PV225 - Laboratory of Systems Biology (in Czech) IB015 - Introduction to Functional Programming - seminar (in Czech) PB172 - Systems Biology Seminar PA183 - Project in Systems Biology Spring PA054 - Formal Models in Systems Biology PB051 - Computational methods in Bioinformatics and Systems Biology PA052 - Introduction to Systems Biology (in Czech) PB172 - Systems Biology Seminar IV120 - Continuous and Hybrid Systems (in Czech) IV121 - Computer science applications in biology (in Czech) Supervised bachelor and master theses
	Co-supervised PhD students Sven Drazan Jana Fabrikova Matej Klement
	Current activities CyanoTeam: Computational modeling of cyanobacterial cells Systems Biology Laboratory (Sybila) E-photo: Photosynthesis in silico
	Software Co-authored or Supervised BioDiVinE BioMS - BIOchemical Models Specification Tool VHDL Design Verification Tools
	Past activities ParaDiSe - Parallel and Distributed Systems Laboratory (ParaDiSe) EC-MOAN - Escherichia Coli: Modelling and Analysis Liberouter - Practical Simulation and Formal Verification ITI - Institute for Theoretical Computer Science Yahoda - Verification Tools Database Other staff 3D modelling (in Czech) OpenGL project (in Czech) Dawe's VRML group (in Czech) Typesetting with ConTeXt Firewalling with Linux (in Czech)
Other links
	About me Some useful links