Ing. Ondřej Lengál

Členství:

• fanklub Ondry Lengála

Další zájmy:

• doktorské studium (hlavní školitel, pomocný školitel)
• formální verifikace živočichů

Nástroje:

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

Výzkum:

• Uppsala
• publikace
• prezentace
• dblp
• c

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ů,
• algoritmů a datových struktur.