Skip to main content
Home
Expand Menu

Main navigation

  • About

    Back to Main Menu

      About Main page

      Find info about CSD
    • About
    • Key Contacts
    • Employment
      Related links
      • Faculty Hiring
      • Staff Hiring
    • Diversity, Equity and Inclusion
      Related links
      • Reportable DEI Incidents
      • CSD DEI Reporting Chain & Contacts
      • DEI Reporting Process
      • DEI Incident Response
      • DEI Incident Recording Protocol
      • CSD DEI Annual Summaries
      • SCS DEI
      • Carnegie Mellon DEI
    • Marketing & Communications
      Related links
      • SCS Marketing & Communications
      • CMU Marketing & Communications
    • History
    • Partnerships
    • Employer Recruiting
    • Visit Carnegie Mellon
    • Visitor Parking
  • Prospective Students

    Back to Main Menu

      Prospective Students Main page

      Find Information for Prospective Students
    • Prospective Students
    • Bachelor's Programs
    • Master's Programs
    • Doctoral Programs
      Related links
      • Admitted Doctoral Student Open House
  • People
  • Academics

    Back to Main Menu

      Academics Main page

      Academics Info
    • Academics
      Related links
      • Current Courses
    • Bachelor's Programs
      Related links
      • Bachelor's Admissions - How to Apply
      • Minor and Additional Major in Computer Science
      • Guidelines for Internal Transfer or Dual Degree
      • Bachelor's Concentrations
      • B.S. in CS Program Contacts
      • Other SCS Undergraduate Programs
      • Incoming Student Course Transfer
      • Summer Research for International Students
    • Master's Programs
      Related links
      • M.S. in Computer Science
      • Fifth Year Master's
      • Accelerated MBA Program
      • Master's - How to Apply
      • Master's Programs Contacts
      • Other SCS Master's Programs
    • Doctoral Programs
      Related links
      • Ph.D. in Computer Science
      • Ph.D. in ACO
      • Doctoral - How to Apply
        Related links
        • Doctoral Open House
      • Degrees Conferred
      • Other SCS Doctoral Programs
    • Student Resources
      Related links
      • General Student Resources
      • Bachelor's Resources
      • Master's Resources
      • Doctoral Resources
        Related links
        • Speaking Skills Requirement
        • Thesis Oral Defense Process
        • Student Ombudspersons
        • Doctoral Student Service Award
  • Research

    Back to Main Menu

      Research Main page

      Learn about our research
    • Faculty Research Guide
    • Artificial Intelligence
      Related links
      • Computational Neuroscience
      • Machine Learning
      • Robotics
    • Graphics
    • Programming Languages
      Related links
      • Formal Methods
      • Pure and Applied Logic
      • Software Engineering
      • Software Verification
      • Type Theory
    • Security
      Related links
      • Cryptography
      • Security and Privacy
    • Systems
      Related links
      • Computer Architecture
      • Databases
      • Data-intensive and Cloud Computing
      • Distributed Systems
      • Human-Computer Interaction
      • Mobile & Pervasive Computing
      • Networking
      • Operating Systems
      • Scientific Computing
    • Theory
      Related links
      • Algorithms and Complexity
      • Game Theory
      • Performance Modeling Analysis
x

Breadcrumb

  1. Home
  2. People
  3. Faculty
  4. Jeremy Avigad

Jeremy Avigad

Professor

Department
Philosophy
Mathematical Sciences

Advisees
Joshua Clune
Cayden Codel
James Gallicchio
Chase Norman

Footer Menu

  • Student Resources
  • Faculty Resources
  • Staff Resources
  • Key Contacts
  • Jobs in CSD
  • Events
  • News
  • Search
  • Site Map

Computer Science Department

Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213
Fax: 412-268-5576
            

Carnegie Mellon University School of Computer Science

  • Pittsburgh Campus
  • Qatar Campus
  • Legal Info