Ing. Bohuslav Křena, Ph.D.

Education:

  • 2004 -- PhD in Information Technology at FIT BUT
  • 2000 -- master degree in Computer science and engineering at FEECS BUT
  • 1995 -- school-leaving exam in Automation technology at SPSE Brno

Professional career:

  • since 2004 -- assistant professor at FIT BUT
  • 2000-2004 -- assistant at FIT BUT
  • 1995-2009 -- trader in Software Providing

Abroad visits:

  • January 15, 2005 - May 15, 2005 (4 months), Sofware Testing and Analysis Laboratory, Universita degli Studi di Milano - Bicocca, Milano, Italy, The SegraVis Research Training Network.
  • May 31, 2004 - July 31, 2004 (9 weeks), Sofware Testing and Analysis Laboratory, Universita degli Studi di Milano - Bicocca, Milano, Italy, The SegraVis Research Training Network.
  • May 2,  2004 - May 7,  2004 (6 days), SegraVis School on Foundations of Visual Modelling Techniques, Schloss Dagstuhl, Germany.
  • September 14, 2003 - September 27, 2003 (14 days), 4th Advanced Course on Petri Nets, Katholische Universität Eichstätt-Ingolstadt, Eichstätt, Germany.
  • May 21, 2003 - July 9, 2003 (7 weeks), Edinburgh Parallel Computing Centre, The University of Edinburgh, Edinburgh, Scotland, TRACS programme.
  • October 16, 2002 - December 19, 2002 (9 weeks), Central Laboratory for Parallel Processing, Bulgarian Academy of Science, Sofia, Bulgaria.

Research interests:

  • Formal Analysis and Verification

 

Memberships:

  • Council of Czech Universities (2006-2008, 2009-2011)

Other interests:

  • Struggle with bureaucracy (see my haircut).
  • Desk and Card Games (e.g., chess, bridge)

Your IPv4 address: 3.81.28.94
Switch to https