Skip to main content

Carnegie Mellon University School of Computer Science

Search form

    • Overview of Programs
    • Course Listings

    Undergraduate

    • Programs
    • Concentrations
    • Admissions
    • Dean's List

    Master's

    • Programs
    • Admissions

    Doctoral

    • Programs
    • Admissions
    • For International Students
    • Student Awards
    • Faculty Awards
    • Research at SCS
    • Search Faculty by Research Area
    • Selected Publications
    • Faculty Awards
    • The Allen Newell Award for Research Excellence
    • News & Press Releases
    • The Link Magazine
    • Media Kit and Press Contacts
    • Events Calendar
    • SCS Seminar Series
    • SCS Distinguished Lecture Series
    • Directions, Maps & Parking
    • Key Contacts
    • Tour Policy
    • Directory
    • Alumni Engagement
    • Giving
    • Outreach
    • Faculty Hiring
    • Employment at SCS
    • SCS Career Center
    • About the Dean
  • Partnerships
    • Computational Biology Department
    • Computer Science Department
    • Human-Computer Interaction Institute
    • Institute for Software Research
    • Language Technologies Institute
    • Machine Learning Department
    • Robotics Institute
    • Dean's Business Office
    • Alumni Engagement
    • Careers Office
    • Computing Facilities (Help Desk)
    • SCS Building Facilities
  • Give
  • All Faculty & Staff
  • Computational Biology Department
  • Computer Science Department
  • Human-Computer Interaction Institute
  • Institute for Software Research
  • Language Technologies Institute
  • Machine Learning Department
  • Robotics Institute
  • Dean's Office
  • Computing Facilities

Jan Hoffmann

Assistant Professor, Computer Science Department
Office: 
9105
Gates and Hillman Centers
Email: 
janh@andrew.cmu.edu
Phone: 
(412) 2686309-

Research Areas: 

  • Formal methods
  • General programming languages
  • Software security engineering
Carnegie Mellon School of Computer Science
5000 Forbes Avenue
Pittsburgh, PA 15213
Legal Info | www-team@cs.cmu.edu
  • Facebook
  • Twitter
  • Instagram
  • RSS News Feed
  • Qatar Campus
  • Silicon Valley Campus