Michael Joseph Lieberman, Ph.D. |
||||||||||||||||
|
Vzdělání a akademická kvalifikace
Advisor: Andreas Blass. Thesis: "Topological and category-theoretic aspects of abstract elementary classes."
Advisor: Thomas Wieting. Thesis: "Fibrational semantics for simply-typed lambda-calculus." |
Přehled zaměstnání
|
Vědeckovýzkumná činnost
|
Vysoké učení technické v Brně
Fakulta strojního inženýrství
Technická 2896/2,
616 69 Brno
IČ 00216305
DIČ CZ00216305
+420 541 141 111
+420 726 811 111 – GSM O2
+420 604 071 111 – GSM T-mobile