Contact

stanislav.bohm at vsb dot cz

Research interests

  • Verification of MPI applications
  • Development of parallel programs
  • Verification of infinite state systems

Short CV

  • I am working as postdoc at IT4Innovations - National Supercomputing Center since summer 2014
  • I finished my Ph.D. study in March 2014 under supervision of prof. Petr Jančar
  • 2013-now -- Researcher at IT4Innovations - National Supercomputing Center
  • 2010-now -- Team member of grant Modeling and Verification of Parallel Systems (GAP202/11/0340)
  • 2011-2013 -- Researcher at Centre for Applied Cybernetics