Ing.

Bohuslav Křena

Ph.D.

Proděkan pro efektivitu a akademické záležitosti

+420 54114 1233
prodekan-efektivita@fit.vut.cz
krena@fit.vut.cz
Kancelář A308

[photo]

Životopis

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.
  • 2. 5. 2004 - 7. 5. 2004 (6 dnů), SegraVis School on Foundations of Visual Modelling Techniques, Schloss Dagstuhl, Německo.
  • 14. 9. 2003 - 29. 9. 2003 (14 dnů), 4th Advanced Course on Petri Nets, Katholische Universität Eichstätt-Ingolstadt, Eichstätt, Německo.
  • 21. 5. 2003 - 9. 7. 2003 (7 týdnů), Edinburgh Parallel Computing Centre, The University of Edinburgh, Edinburgh, Skotsko, program TRACS.
  • 16. 10. 2002 - 19. 12. 2002 (9 týdnů), Central Laboratory for Parallel Processing, Bulharská akademie věd, Sofie, Bulharsko.

Odborná orientace

  • Formalní analýza a verifikace

Získaná ocenění

Členství

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

Další zájmy

  • Boj proti nesmyslné byrokracii - punkově laděný střih je moje forma protestu proti neustále narůstající byrokracii.
  • Deskové a karetní hry (zejména šachy a bridž)
Nahoru