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. 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

Research interests:

• Formal Analysis and Verification

Memberships:

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

Other interests:

• Desk and Card Games (e.g., chess, bridge)

Access counter: