معرفی
Benno van den Berg is a Lecturer at the University of Amsterdam, affiliated with the Institute for Logic, Language and Computation (ILLC) and its Mathematical & Computational Logic (MCL) unit. His academic work bridges mathematical logic, category theory, and type theory, with a focus on constructive set theory and homotopy type theory.
- PhD in Mathematics from Utrecht University (2006), supervised by Ieke Moerdijk.
- Habilitationsschrift from Technische Universität Darmstadt (2011), supervised by Thomas Streicher.
His research explores the intersection of logic and category theory, particularly in predicative topos theory, non-well-founded structures, and algebraic set theory. His publications emphasize exact completion, realizability, and homotopy type theory, with collaborations on topics like nonstandard arithmetic and noncommutative rings.
Recent publications include work on inductive types, non-well-founded sets, and identity types, reflecting his interest in unifying logical frameworks with categorical methods. He has also contributed to model theory through course instruction and materials.
He teaches courses such as Model Theory and Homotopy Type Theory at the University of Amsterdam, emphasizing classical and modern logical methods. His role involves both lecturing and supervising student seminars.
As part of the ILLC, van den Berg engages in research and education within the Mathematical & Computational Logic unit, contributing to the development of logical systems with applications in computer science and mathematics.
