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:

Research interests:

  • Formal Analysis and Verification

 

Memberships:

Other interests:

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

Your IPv4 address: 54.227.127.109
Switch to IPv6 connection

DNSSEC [dnssec]