Fakulta informačních technologií VUT v Brně

Ing.

Ondřej Lengál

Ph.D.

Odborný asistent

+420 54114-1178
lengal@fit.vut.cz
Pracovna A219

Životopis

Profesionální kariéra

  • 2. místo na školním karnevale, 17. ZŠ Zlín, 1993

Získaná ocenění

Členství

Další zájmy

Nástroje

  • dWiNA: implementace rozhodovací procedury pro WS1S
  • forester: nástroj pro formální verifikaci programů s komplexními dynamickými datovými strukturami založený na stromových automatech
  • libvata: knihovna pro efektivní manipulaci s explicitně i symbolicky reprezentovanými konečnými stromovými automaty
  • libsfta: knihovna pro práci se symbolicky reprezentovanými konečnými stromovými automaty (obsolete, nahrazeno knihovnou libvata)

Výzkum

Bakalářské/Diplomové práce

Ozvěte se v případě zájmu o práci z oblasti
  • formální verifikace,
  • statické analýzy,
  • teoretické informatiky,
  • automatů,
  • logiky,
  • algoritmů a datových struktur.

Konkrétní téma vybereme spolu.
Nahoru