Ing. Bohuslav Křena, Ph.D.

Vzdělání:

• 2004 -- doktor v oboru Informační technologie na FIT VUT v Brně
• 2000 -- inženýr v oboru Výpočetní technika a informatika na FEI VUT v Brně
• 1995 -- maturita v oboru Automatizační technika na SPŠE Brno

Profesionální kariéra:

• od 2004 -- odborný asistent na FIT VUT v Brně
• 2000-2004 -- asistent na FIT VUT v Brně
• 1995-2009 -- živnostník v oboru Poskytování software

Zahraniční stáže:

• 15. 1. 2005 - 15. 5. 2005 (4 měsíce), Sofware Testing and Analysis Laboratory, Universita degli Studi di Milano - Bicocca, Milano, Itálie, projekt SegraVis.
• 31. 5. 2004 - 31. 7. 2004 (9 týdnů), Sofware Testing and Analysis Laboratory, Universita degli Studi di Milano - Bicocca, Milano, Itálie, projekt SegraVis. fotky
• 2. 5. 2004 - 7. 5. 2004 (6 dnů), SegraVis School on Foundations of Visual Modelling Techniques, Schloss Dagstuhl, Německo. fotky
• 14. 9. 2003 - 29. 9. 2003 (14 dnů), 4th Advanced Course on Petri Nets, Katholische Universität Eichstätt-Ingolstadt, Eichstätt, Německo. fotky
• 21. 5. 2003 - 9. 7. 2003 (7 týdnů), Edinburgh Parallel Computing Centre, The University of Edinburgh, Edinburgh, Skotsko, program TRACS. fotky
• 16. 10. 2002 - 19. 12. 2002 (9 týdnů), Central Laboratory for Parallel Processing, Bulharská akademie věd, Sofie, Bulharsko. fotky

Odborná orientace:

• Formalní analýza a verifikace

Členství:

• Rada vysokých škol (2006-2008, 2009-2011)

Další zájmy:

• Deskové a karetní hry (zejména šachy a bridž)

Odkazy:

• Oblíbené citáty

Počítadlo přístupů: