Skip to main content

Carnegie Mellon University School of Computer Science

Search form

    • Overview of Programs
    • Course Listings

    Undergraduate

    • Programs
    • Concentrations
    • Admissions
    • General Education Requirements
    • Policies and Procedures
    • Undergraduate Research and Honors Thesis
    • 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
    • Updates & Alerts
    • 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

Search for Faculty by Research Area

  • Machine learning
  • Robotics
  • Human computer interaction (HCI)
  • Computer vision
  • Human Robot Interaction
  • Natural language processing
  • Artificial intelligence
  • Computer-assisted instruction
  • Machine Learning Algorithms
  • Edmund Clarke

    University Professor Emeritus

    Research Areas: 

    • Formal methods
    • Model checking
  • Ankush Das

    Doctoral Research Assistant

    Research Areas: 

    • Concurrency
    • Formal methods
    • General programming languages
    • Program analysis
    • Type theory
  • Jan Hoffmann

    Associate Professor

    Research Areas: 

    • Formal methods
    • General programming languages
    • Software security engineering
  • Zeliha Dilsun Kaynar

    Assistant Teaching Professor

    Research Areas: 

    • Computing education
    • Formal methods
    • Formal methods and theory of security
    • General programming languages
  • Andre Platzer

    Courtesy Faculty Member
    Professor

    Research Areas: 

    • AI Safety
    • Embedded and cyber-physical systems
    • Formal methods
    • General programming languages
    • Heterogeneous (hybrid) systems
    • Logic
    • Robotic control
    • Safety critical systems
    • Theorem proving and SAT solving
CMU AI, Creating new frontiers

Upcoming Events

  • Tuesday, March 2, 2021 - 11:15am

    CISCO - CMU Alumni Day

    Virtual Meetings - ET
    Remote Access Enabled
  • Tuesday, March 2, 2021 - 12:00pm

    Artificial Intelligence Seminar

    VAISHNAVH NAGARAJAN
    Virtual Presentation - ET
    Remote Access - Zoom
  • Tuesday, March 2, 2021 - 12:30pm

    CONNECTS Entrepreneurship Seminar

    Finding Follow-On Capital: Identifying and Engaging Your Next Investors
    Virtual Presentation - ET
    Remote Access - Zoom
  • Tuesday, March 2, 2021 - 2:00pm

    Computer Science Speaking Skills Talk

    ROHAN SAWHNEY
    Virtual Presentation - ET
    Remote Access - Zoom
Carnegie Mellon School of Computer Science
5000 Forbes Avenue
Pittsburgh, PA 15213
Legal Info | www-team@cs.cmu.edu
  • Facebook
  • Twitter
  • LinkedIn
  • Instagram
  • RSS News Feed
  • Qatar Campus
  • Silicon Valley Campus