| Name | Job title | Research area | Role | Research interests |
|---|---|---|---|---|
| C. Ward Henson | Visitor | Mathematical Logic | Visitor, Faculty |
Continuous logic and model theory of metric structures; nonstandard analysis |
| Dana Scott | Visitor | Mathematical Logic | Visitor, Faculty |
Foundations of logic and mathematics, semantics of programming languages |
| Carol Wood | Visitor | Mathematical Logic, Algebra | Visitor, Faculty |
Model theory and its interactions with algebra and combinatorics |
