Skip to main content

Top Quicklinks

  • Current Students
  • Faculty
  • Staff

Visit/Give Links

  • Give
  • Visit
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

    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  |  History

  • Academics
    • Academics
    • Bachelor's Programs
    • Master's Programs
    • Doctoral Programs
    • Student Resources
    View of Carnegie Mellon Pausch bridge through window with algorithm written in marker on the glass

    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. 

     

     Bachelor's Overview  |  Master's Overview  |  Doctoral Overview

  • Admissions
    • Prospective Students
    • Bachelor's Admissions
    • Master's Admissions
    • Doctoral Admissions
    Gates/Pausch Bridge

    Admissions

    Degree's offered by the Computer Science Department include bachelor's, master's, and doctoral. 

     

    Start with information provided on our Prospective Students page and then learn more about the department through our Faculty Research Guide, events, news, and additional online resources. 

  • Directory
    • All CSD
    • Faculty
      • Adjunct Faculty
      • Affiliated Faculty
      • Emeritus Faculty
      • Research & Tenure Faculty
      • Special Faculty
      • Teaching Faculty
    • Staff
    • Doctoral
    • Postdoctoral

    Directory Submenu

    People

    Our directory includes faculty, staff, postdoctoral and doctoral people in the department. 

     

    It also serves as part of our Faculty Research Guide (FRG) with information about the research areas people are actively working in across the department. 

     

    Key Contacts - for quick reference.

  • Research
    • Faculty Research Guide
    • Artificial Intelligence
    • Graphics
    • Programming Languages
    • Security
    • Systems
    • Theory

    Explore the Field

    Our Faculty Research Guide (FRG) is a good starting point to see which faculty are working on some of today's most interesting research challenges.

    The work we do here covers a wide range of research interests. Each faculty member has written his or her own research summary, which is available on their individual CSD directory page.

  • Search

    What can we help you find?

Breadcrumb

  1. Home
  2. People
  3. Doctoral Student
  4. Zachary Battleman

Zachary Battleman

Profile photo of Zachary Battleman

Doctoral Research Assistant

Email

zbattlem@andrew.cmu.edu

Department

Computer Science Department

Research Areas

Programming Languages

Thesis Advisor

Marijn Heule
Randal Bryant

Computer Science Department

Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213
412-268-2000
            

Carnegie Mellon University School of Computer Science

  • Pittsburgh Campus
  • Qatar Campus
  • Legal Info