Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Ph.D.
FSI, ÚM OAAG – odborný asistent
+420 54114 2725Michael.Lieberman@vutbr.cz
Odeslat VUT zprávu
Advisor: Andreas Blass.
Thesis: "Topological and category-theoretic aspects of abstract
elementary classes."
Advisor: Thomas Wieting.
Thesis: "Fibrational semantics for simply-typed lambda-calculus."