Skip to main contentAll experts

Ruben Martins

Associate Research Professor

Computer Science Department

  • Associate Research Professor
    Computer Science Department
  • Carnegie Mellon University, Computer Science Department, 5000 Forbes Avenue, Pittsburgh, PA, 15213, United States

TEACHING ACTIVITIES

  • COURSE TAUGHT
    Graduate Reading and Research
    24 Aug 2026 - 14 Dec 2026
    15697
  • COURSE TAUGHT
    Immigration Course
    24 Aug 2026 - 14 Dec 2026
    15604
  • COURSE TAUGHT
    Independent Study in the Computer Sciences
    24 Aug 2026 - 14 Dec 2026
    15689
  • COURSE TAUGHT
    MSCS Research Thesis
    24 Aug 2026 - 14 Dec 2026
    15698
  • COURSE TAUGHT
    Research and Innovation in Computer Science
    24 Aug 2026 - 14 Dec 2026
    07300
  • COURSE TAUGHT
    Practicum
    11 May 2026 - 31 Jul 2026
    15691
  • COURSE TAUGHT
    MSCS Career Planning
    12 Jan 2026 - 5 May 2026
    15690
  • COURSE TAUGHT
    Research Practicum in Computer Science
    12 Jan 2026 - 5 May 2026
    07400
  • COURSE TAUGHT
    Advanced Topics in Logic: Automated Reasoning and Satisfiability
    25 Aug 2025 - 15 Dec 2025
    15816
  • COURSE TAUGHT
    Immigration Course
    25 Aug 2025 - 15 Dec 2025
    15604
  • COURSE TAUGHT
    Independent Study in the Computer Sciences
    25 Aug 2025 - 15 Dec 2025
    15689
  • COURSE TAUGHT
    MSCS Research Thesis
    25 Aug 2025 - 15 Dec 2025
    15698
  • COURSE TAUGHT
    Research and Innovation in Computer Science
    25 Aug 2025 - 15 Dec 2025
    07300
  • COURSE TAUGHT
    Graduate Reading and Research
    12 May 2025 - 1 Aug 2025
    15697
  • COURSE TAUGHT
    Practicum
    12 May 2025 - 1 Aug 2025
    15691
  • COURSE TAUGHT
    Independent Study in the Computer Sciences
    13 Jan 2025 - 6 May 2025
    15689
  • COURSE TAUGHT
    MSCS Career Planning
    13 Jan 2025 - 6 May 2025
    15690
  • COURSE TAUGHT
    MSCS Research Thesis
    13 Jan 2025 - 6 May 2025
    15698
  • COURSE TAUGHT
    Graduate Reading and Research
    26 Aug 2024 - 16 Dec 2024
    15697
  • COURSE TAUGHT
    Immigration Course
    26 Aug 2024 - 16 Dec 2024
    15604
  • COURSE TAUGHT
    Independent Study in the Computer Sciences
    26 Aug 2024 - 16 Dec 2024
    15689
  • COURSE TAUGHT
    MSCS Research Thesis
    26 Aug 2024 - 16 Dec 2024
    15698
  • COURSE TAUGHT
    Research and Innovation in Computer Science
    26 Aug 2024 - 16 Dec 2024
    07300
  • COURSE TAUGHT
    Graduate Reading and Research
    13 May 2024 - 2 Aug 2024
    15697
  • COURSE TAUGHT
    Independent Study in the Computer Sciences
    13 May 2024 - 2 Aug 2024
    15689