Ing.

Ondřej Lengál

Ph.D.

Researcher

+420 54114 1178
lengal@fit.vut.cz
A219 Office
78581/BUT personal ID

Teaching

Consulting hours

After a previous appointment anytime (or you can try to catch me in the office and if is possible, I will try to answer your questions).

Lectured courses

SAV Static Analysis and Verification
Lecture, Czech, winter, DITS
SLOa Complexity (in English)
Lecture, English, summer, DITS
TIN Theoretical Computer Science
Fundamentals seminar, Project, Seminar, Czech, winter, DITS
IOS Operating Systems
Lecture, Project, Czech, English, summer, DITS
IZLO Introduction to Logic for Computer Science
Exercise, Lecture, Project, Czech, summer, DITS
MAD Selected Chapters on Mathematics
Lecture, Czech, English, summer, DITS
FAD Formal Program Analysis
Lecture, Czech, English, winter, DITS
IAM Advanced Mathematics
Exercise in computer lab, Lecture, Czech, English, summer, DITS
Back to top