Skip to main content
Home
Expand Menu

Main navigation

  • About

    Back to Main Menu

      About Main page

    • About
      Related links
      • Events
      • News
      • Key Contacts
      • History
      • Sitemap
    • 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
      • Partnerships
      • Employer Recruiting
      • CMU Marketing & Communications
    • Visit Carnegie Mellon
      Related links
      • Visitor Parking
      • Maps & Directions
    • Give
  • Admissions

    Back to Main Menu

      Admissions Main page

    • Prospective Students
    • Bachelor's Admissions
      Related links
      • Bachelor's Programs
      • Incoming Student Course Transfer
    • Master's Admissions
      Related links
      • Master's Programs
    • Doctoral Admissions
      Related links
      • Doctoral Programs
      • Admitted Doctoral Student Open House
  • Academics

    Back to Main Menu

      Academics Main page

    • Academics
      Related links
      • Current Semester Courses
      • Upcoming Semester Courses
      • Schedule of Classes
      • Undergraduate Catalog
    • Bachelor's Programs
      Related links
      • How to Apply as Incoming First-Year
      • Incoming Student Course Transfer
      • B.S. in CS Curriculum
      • B.S. in CS Concentrations
      • B.S. in CS External Course Transfer
      • B.S. in CS Program Contacts
      • Guidelines for Internal Transfer or Dual Degree
      • Minor and Additional Major in Computer Science
      • Other SCS Undergraduate Programs
      • 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
      • Ph.D. in PAL
      • CNBC Certificate Program
      • Ph.D. Dual Degree Portugal
      • 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
        • Doctoral Program Handbook
        • Doctoral Breadth Courses
        • Doctoral Student Review Schedule
        • Doctoral Writing Skills
        • Doctoral Speaking Skills
        • Doctoral Thesis Proposal Process
        • Doctoral Thesis Oral Defense Process
        • Doctoral Student Ombudspersons
        • Doctoral Student Service Award
  • People

    Back to Main Menu

      People Main page

    • Directory
      Related links
      • Doctoral
      • Faculty
      • Postdoctoral
      • Staff
    • Key Contacts
    • Staff Resources
    • Student Resources
      Related links
      • General Student Resources
      • Bachelor's Resources
      • Master's Resources
      • Doctoral Resources
    • Faculty Resources
  • Research

    Back to Main Menu

      Research Main page

    • Faculty Research Guide
    • Artificial Intelligence
      Related links
      • Computational Neuroscience
      • Machine Learning
      • Robotics
    • Graphics
      Related links
      • Robotics
    • 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
  • Give
X

Breadcrumb

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

Jeremy Avigad

Professor

Department
Philosophy
Mathematical Sciences

Research Interests
Programming Languages

Advisees
Joshua Clune
Cayden Codel
Chase Norman

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