Ing.

Tomáš Kocourek

FIT, DITS – Researcher

ikocourek@fit.vut.cz

Send BUT message

Ing. Tomáš Kocourek

Projects

  • 2025

    String Constraints for Security Analysis, zahájení: 01.08.2025, ukončení: 31.07.2028
    Detail