Assistant Professor, Fowler School of Engineering
EDUCATION/TRAINING
2022 - 2024
Postdoctoral fellow at Department of Mathematics, Johns Hopkins University, MD, USA (Mentor: Prof. Emily Riehl)
2022
Postdoctoral fellow at Max Planck Institute for Mathematics, Bonn, Germany (Mentor: Dr. Viktoriya Ozornova)
2021 - 2022
Postdoctoral researcher at Theory of Computation Group, School of Computer Science, University of Birmingham, UK (Mentors: Prof. Benedikt Ahrens and Prof. Paige North)
2016 - 2021
Ph.D. in Mathematics, Department of Mathematics, Technical University of Darmstadt, Germany (Mentor: Prof. Thomas Streicher)
2014 - 2016
M.S. in Mathematics (minor: Computer Science), Department of Mathematics, Technical University of Darmstadt, Germany
2008 - 2014
B.S. in Mathematics (minor: Philosophy), Department of Mathematics, Technical University of Darmstadt, Germany
RESEARCH/TEACHING INTERESTS
Dr. Weinberger works in theoretical computer science and mathematical logic. His work employs category theory and (homotopy) type theory. These are foundational theories to capture and unify a range of concepts and constructions in computer science (e.g. programming languages, software erification, computability theory) and mathematics (e.g. algebra, topology, geometry). He is also interested in computer proof assistants and formalized mathematics, as well as the foundations of machine learning.