Doc. Mgr.

Adam Rogalewicz

Ph.D.

Docent

+420 54114 1188
rogalew@fit.vut.cz
kancelář A307

[photo]

Životopis

Vzdělání

Nástroje

  • ARTMC - prototypový nástroj pro verifikace programů s ukazateli
  • Forester - nástroj pro verifikaci programů s ukazateli
  • Slide - entailment checking v separační logice založený na automatech
  • INCLUDER - prototypový nástroj pro ověření trace incluze na data word automatech

Získaná ocenění

Další zájmy

Horolezení
Tramping a hory
Lyžování
Vaření
Kytara

Nahoru