Members, Visitors, and Research Assistants 2012-13
School of Mathematics
Aczel, Peter Henry
School of Mathematics
Mathematical Logic
Ahrens, Benedikt
School of Mathematics
Semantics of Programming Languages
Altenkirch, Thorsten
School of Mathematics
Computer Science, Univalent Foundations
Anantharaman, Nalini Florence
School of Mathematics
Mathematics
Aretakis, Stefanos
School of Mathematics
Partial Differential Equations, Mathematical Physics
Awodey, Steve
School of Mathematics
Univalent Foundations
Baas, Nils A.
School of Natural Sciences/Mathematics
Algebraic Topology, Systems Biology
Barras, Bruno
School of Mathematics
Theoretical Computer Science
Bauer, Andrej
School of Mathematics
Logic, Computation
Beceanu, Marius
School of Mathematics
Partial Differential Equations
Bellettini, Costante
School of Mathematics
Mathematics and Geometric Analysis
Bertot, Yves
School of Mathematics
Computer Science
Bezem, Marc
School of Mathematics
Mathematical Logic, Computer Science
Bhatt, Bhargav
School of Mathematics
Arithmetic Algebraic Geometry
Bruening, Jochen Wulf
School of Mathematics
Differential Geometry, Geometric Analysis
Bulut, Aynur
School of Mathematics
Partial Differential Equations, Harmonic Analysis
Burger, Markus Rudolf
School of Mathematics
Lie Groups
Chen, Jing
School of Mathematics
Computer Science
Chen, Tsao-Hsien
School of Mathematics
Representation Theory
Coquand, Thierry
School of Mathematics
Type Theory and Constructive Mathematics
Deift, Percy A.
School of Mathematics
Mathematical Physics
Drucker, Andrew
School of Mathematics
Computer Science
Efremenko, Klim
School of Mathematics
Computer Science
Finster, Eric Lee
School of Mathematics
Mathematics