Skip to main content

Carnegie Mellon University School of Computer Science

Search form

  • Academics
    • Overview of Programs
    • Course Listings
    • Undergraduate Programs
    • Undergraduate Admissions
    • Master's Programs
    • Master's Admissions
    • Doctoral Programs
    • Doctoral Admissions
    • For International Students
    • Student Awards
    • Faculty Awards
  • Research
    • Research at SCS
    • Search Faculty by Research Interest
    • Selected Publications
    • SCS Seminar Series
    • Faculty Awards
    • The Allen Newell Award for Research Excellence
  • News & Events
    • News & Press Releases
    • The Link Magazine
    • Media Kit and Press Contacts
    • Events Calendar
    • SCS Seminar Series
    • SCS Distinguished Lecture Series
  • Outreach
  • Directory
  • About SCS
    • Directions, Maps & Parking
    • Key Contacts
    • Tour Policy
    • Faculty Hiring
    • Employment at SCS
    • SCS Career Center
    • About the Dean
    • Alumni Engagement
    • Corporate Relations
    • Mark Stehlik SCS Alumni Undergraduate Impact Scholarship
  • Departments
    • 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
    • Corporate Relations
    • Computing Facilities (Help Desk)
  • Search Faculty, Staff & Research
  • 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

Andre Platzer

Associate Professor
Computer Science Department
9103
Gates and Hillman Centers
Email: 
aplatzer@cs.cmu.edu
Phone: 
412-268-1558
Fax: 
412-268-5576
Personal Website: 
http://symbolaris.com/
Research Interests: 
Computational Mathematics
Control Systems
Cyber-Physical Systems
Dependable and Embedded Systems
Formal Methods/Verification
Game Theory
Logic
Mathematics
Programming Languages
Realtime Systems
Robotics
Carnegie Mellon School of Computer Science
5000 Forbes Avenue
Pittsburgh, PA 15213
www-team@cs.cmu.edu
  • Qatar Campus
  • Silicon Valley Campus