Geraldine Brady
Clinical Associate Professor

Contact Information

Phone: 773-834-3705
Fax: 773-702-8487

Email: brady at cs dot uchicago dot edu

Teaching

• Autumn 2017:
  • Instructor for MPCS 55001—Algorithms
• Winter 2018:
  • 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

Research

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.