Skip to main content

Top Quicklinks

  • Current Students
  • Faculty
  • Staff
  • Directory

Visit/Give Links

  • Visit
  • Give
Home
Expand Menu
  • About
    • About
    • Employment
    • Marketing & Communications
      • SCS Marketing & Communications
      • Partnerships
      • Employer Recruiting
      • CMU Marketing & Communications
    • Visit Carnegie Mellon
      • Visitor Parking
      • Maps & Information
    • Give
    black and white image of two people in computer room with tape driven mainframe computers

    CSD at a Glance

    In 1965 Carnegie Mellon established the Computer Science Department with the support of a $5 million grant from the Richard K. Mellon Foundation. Alan Perlis was the first head of the department and first program was the Ph.D. program in CS. Among other notable achievements the Smiley started here with then CS faculty member Scott Fahlman. :-)

     

    Events |  News  |  Key Contacts  |  History

  • Academics
    • Academics
      • Current Courses
      • Upcoming Semester Courses
      • Schedule of Classes
      • Undergraduate Catalog
    • Bachelor's Programs
      • How to Apply as Incoming First-Year
      • 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
    • Master's Programs
      • 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
      • 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
        • Doctoral Open House
      • Core CSD Advisors
      • Degrees Conferred
      • Other SCS Doctoral Programs
    • Student Resources
      • General Student Resources
      • Bachelor's Resources
      • Master's Resources
      • Doctoral Resources
        • 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 Degrees Conferred
        • Doctoral Student Ombudspersons
        • Doctoral Student Service Award
    View of Carnegie Mellon Pausch bridge through window with algorithm written in marker on the glass

    CSD Academic Offerings

    Consistently ranked among the highest programs available for the study of computer science, the Computer Science Department offers bachelor's, master's and doctoral degrees grounded in the foundations of the field while ensuring that the latest breakthroughs and research are encompassed in the curriculum. 

     

    Prospective Students  |  Bachelor's Overview  |  Master's Overview  |  Doctoral Admissions

  • Admissions
    • Key Contacts
    • Staff Resources
    • Student Resources
      • General Student Resources
      • Bachelor's Resources
      • Master's Resources
      • Doctoral Resources
    • Faculty Resources
    • Prospective Students
    • Bachelor's Admissions
      • Bachelor's Programs
    • Master's Admissions
      • Master's Programs
    • Doctoral Admissions
      • Doctoral Programs
      • Core CSD Doctoral Advisors
      • Admitted Doctoral Student Open House
  • People
    • All CSD
    • All Faculty
    • Teaching Faculty
    • Emeritus Faculty
    • Staff
    • Doctoral
    • Post-Docs
  • Research
    • Faculty Research Guide
    • Artificial Intelligence
      • Computational Neuroscience
      • Machine Learning
      • Robotics
    • Graphics
      • Robotics
    • Programming Languages
      • Formal Methods
      • Pure and Applied Logic
      • Software Engineering
      • Software Verification
      • Type Theory
    • Security
      • Cryptography
      • Security and Privacy
    • Systems
      • Computer Architecture
      • Databases
      • Data-intensive and Cloud Computing
      • Distributed Systems
      • Human-Computer Interaction
      • Mobile & Pervasive Computing
      • Networking
      • Operating Systems
      • Scientific Computing
    • Theory
      • Algorithms and Complexity
      • Game Theory
      • Performance Modeling Analysis
  • Search

    Use this form to search

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
James Gallicchio
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