Ing. Bohuslav Křena, Ph.D.
- 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
- since 2004 -- assistant professor at FIT BUT
- 2000-2004 -- assistant at FIT BUT
- 1995-2009 -- trader in Software Providing
- 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. pictures
- May 2, 2004 - May 7, 2004 (6 days), SegraVis School on Foundations of Visual Modelling Techniques, Schloss Dagstuhl, Germany. pictures
- September 14, 2003 - September 27, 2003 (14 days), 4th Advanced Course on Petri Nets, Katholische Universität Eichstätt-Ingolstadt, Eichstätt, Germany. pictures
- May 21, 2003 - July 9, 2003 (7 weeks), Edinburgh Parallel Computing Centre, The University of Edinburgh, Edinburgh, Scotland, TRACS programme. pictures
- October 16, 2002 - December 19, 2002 (9 weeks), Central Laboratory for Parallel Processing, Bulgarian Academy of Science, Sofia, Bulgaria. pictures
- Formal Analysis and Verification
- Struggle with bureaucracy (see my haircut).
- Desk and Card Games (e.g., chess, bridge)