Životopis

Vzdělání a akademická kvalifikace

• 2009, Ph.D. in Mathematics, University of Michigan, Ann Arbor (USA)

          Advisor: Andreas Blass.

          Thesis: "Topological and category-theoretic aspects of abstract

          elementary classes."

• 2003, B.A. in Mathematics, Reed College, Portland (USA)

          Advisor: Thomas Wieting.

          Thesis: "Fibrational semantics for simply-typed lambda-calculus."

Přehled zaměstnání

• 2018-dosud, odborný asistent, Ústav matematiky, FSI, VUT v Brně.
• 2014-dosud, vyzkumný pracovník, Ústav matematiky a statistiky, PřF, Masarykova Univerzita v Brně.
• 2013-2014, hostující odborný asistent, Department of Mathematics, Kalamazoo College, Kalamazoo, Michigan (USA).
• 2009-2013, lektor, Department of Mathematics, University of Pennsylvania, Philadelphia, Pennsylvania (USA).

Vědeckovýzkumná činnost

• matematická logika
• abstraktní teorie modelů
• teorie množin, velká kardinální čísla
• teorie kategorií