**Geraldine Brady **** ****
Clinical Associate Professor
**

Department of Computer Science

The University of Chicago

1100 East 58th Street

Chicago, IL 60637

** Phone:** 773-834-3705

** Fax:** 773-702-8487

**Email:**
brady at cs dot uchicago dot edu

- Autumn 2017:
- Instructor for MPCS 55001—Algorithms

- Winter 2018:
- Instructor for
MPCS 50103—Discrete Mathematics for Computer Science

- Instructor for
MPCS 50103—Discrete Mathematics for Computer Science
- Spring 2018:
- Instructor for MPCS 55001—Algorithms

- Summer 2018:
- Instructor for MPCS 50103—Discrete Mathematics for Computer Science

List of publications in reverse chronological order.

- Geraldine Brady and Todd H. Trimble. The topology of relational
calculus. Submitted to
*Advances in Mathematics,*February 2002. - Geraldine Brady. From Peirce to Skolem: A Neglected Chapter in
the History of Mathematical Logic. Elsevier Science: North-Holland, 2000.

Mathematical Reviews: MR 1834718 - Geraldine Brady and Todd H. Trimble.
A categorical interpretation of C. S. Peirce's System Alpha.
*Journal of Pure and Applied Algebra,*149: 213-239, 2000. Mathematical Reviews: MR 17627665 - Geraldine Brady and Todd H. Trimble. A string diagram calculus for predicate logic. Preprint, November 1998.
- Geraldine Brady. The Contributions of Peirce, Schroeder, Loewenheim, and Skolem to the Development of First-Order Logic. Doctoral Dissertation, Universitetet i Oslo, 1997.
- Geraldine Brady. From the algebra of relations to the logic of
quantifiers.
*Studies in the Logic of Charles Sanders Peirce,*Indiana University Press, 1997. - Stuart A. Kurtz and Geraldine Brady. Existential Graphs: I. January 1997.

Last modified: 2017 September 18