Lubos Brim


Ph.D. Czech Academy of Sciences 1986 CzechRepublic
Dissertation: Structural Specifications of Predicate Transformers

Advisor 1: Jiří Hořejš

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
Šafránek, DavidMasaryk University2006
Demko, MartinMasaryk University2019
Dražanová, JanaMasaryk University2022
Pastva, SamuelMasaryk University2022
Troják, MatejMasaryk University2023

According to our current on-line database, Lubos Brim has 5 students and 5 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 307620 for the advisor ID.