Faculty of Information Technology, BUT

Ing.

Ondřej Lengál

Ph.D.

Assistant professor

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

Curriculum

Awards

Memberships

Other interests

My favorite links

https://ondrik.github.io

Tools

  • dWiNA: implementation of a decision procedure for WS1S
  • forester: a tool for formal verification of programs with complex dynamic data structures based on tree automata
  • libvata: a library for efficient manipulation of non-deterministic tree automata
  • libsfta: a symbolic finite tree automata library (obsolete, superseded by libvata)

Research

Back to top