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
    • Marketing & Communications
      Related links
      • SCS Marketing & Communications
      • Partnerships
      • Employer Recruiting
      • CMU Marketing & Communications
    • Visit Carnegie Mellon
      Related links
      • Visitor Parking
      • Maps & Information
    • Give
  • Admissions

    Back to Main Menu

      Admissions Main page

    • Prospective Students
    • Bachelor's Admissions
      Related links
      • Bachelor's Programs
    • Master's Admissions
      Related links
      • Master's Programs
    • Doctoral Admissions
      Related links
      • Doctoral Programs
      • Core CSD Doctoral Advisors
      • Admitted Doctoral Student Open House
  • Academics

    Back to Main Menu

      Academics Main page

    • Academics
      Related links
      • Current Courses
      • Upcoming Semester Courses
      • Schedule of Classes
      • Undergraduate Catalog
    • Bachelor's Programs
      Related links
      • 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
      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
      • Core CSD Advisors
      • 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 Degrees Conferred
        • Doctoral Student Ombudspersons
        • Doctoral Student Service Award
  • People

    Back to Main Menu

      People Main page

    • Directory
      Related links
      • All Faculty
      • Teaching Faculty
      • Emeritus Faculty
      • Staff
      • Doctoral
      • Post-Docs
    • 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. 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 Interests
Programming Languages

Thesis Advisor
Marijn Heule
Randal Bryant

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