Joan Rand Moschovakis
seminars given
| date | title | |
|---|---|---|
| 2003/11/21 | Hierarchies in realistic extensions of intuitionistic theories | |
| 2000/02/18 | The Gödel-Gentzen Negative Translation and Classical Function Realizability | |
| 1998/11/27 | Realizability, models and applications | |
| 3 seminars. | ||
PhD theses supervised
| title | student | defense |
|---|---|---|
| Formalizing Constructive Analysis: A Comparison of Minimal Systems and A Study of Uniqueness Principles | 2012-07-02 | |
| 1 PhD thesis. | ||
MSc theses supervised
Further information
- Teacher profile (for extra information about courses given).