doc. Mgr.

Lukáš Holík

Ph.D.

Researcher

+420 54114 1331
holik@fit.vut.cz
A220 Office
103996/BUT personal ID

Teaching

Consulting hours

13:00-14:00,

Any time after an e-mail agreement.

Guaranteed courses

IAM Advanced Mathematics
Czech, English, summer, DITS
IZLO Introduction to Logic for Computer Science
Czech, summer, DITS

Lectured courses

IAM Advanced Mathematics
Exercise in computer lab, Fundamentals seminar, Lecture, Czech, English, summer, DITS
IZLO Introduction to Logic for Computer Science
Exercise, Lecture, Project, Seminar, Czech, summer, DITS
MAD Selected Chapters on Mathematics
Lecture, Czech, English, summer, DITS
MBA Model-Based Analysis
Exercise in computer lab, Lecture, Project, Czech, summer, DITS
TIN Theoretical Computer Science
Fundamentals seminar, Lecture, Project, Seminar, Czech, winter, DITS
Back to top