Výzkumná skupina modelování a optimalizace

Výzkumníci

[photo]

Češka Milan, prof. RNDr., CSc.

výzkumník, UITS FIT VUT

  • teorie formálních jazyků a automatů
  • formání specifikace
  • teorie a aplikace Petriho sítí
  • modelování a simulace
[photo]

Hrubý Martin, Ing., Ph.D.

výzkumník, UITS FIT VUT

  • Modelování a simulace.
  • Geografické informační systémy.
  • Matematická teorie her a její aplikace v modelování trhu.
  • Kombinatorické optimalizace.
[photo]

Janoušek Vladimír, doc. Ing., Ph.D.

výzkumník, UITS FIT VUT

Modelování, simulace, prototypování, objektová orientace, reflektivní architektury, vývoj systémů s využitím formálních modelů a simulace, systémy diskrétních událostí, distribuované řídicí systémy.
[photo]

Kočí Radek, Ing., Ph.D.

výzkumník, UITS FIT VUT

  • Modelování a simulace
  • Softwarové inženýrství: formální modely a simulace v návrhu systémů
  • Petriho sítě
  • Umělá inteligence
[photo]

Peringer Petr, Dr. Ing.

výzkumník, UITS FIT VUT

  • Modelování a simulace
  • Verifikace programů
  • Objektově-orientované programování, návrhové vzory
  • Programovací jazyky C a C++

Doktorandi

[photo]

Gach Marek, Ing.

student, UITS FIT VUT

Verifikace systémů pracujících s reálným časem, formalismy popisu RT systémů, časované automaty.
[photo]

Novosad Petr, Ing.

student, UITS FIT VUT

  • Petriho sítě
  • programování C/C++
Nahoru