Project Showcase

CMU-Q faculty members are educators, researchers, and experts in their fields, and they investigate questions across a broad spectrum of disciplines.

4,844

All

932

Active

3,912

Close
X
Closed 2010
Effective Programming for Large Distributed Ensembles
  • Programmable Matter
  • Claytronics
  • Distributed Systems
  • Swarm Robotics
  • Programming Languages
  • Computer Science
Closed 2010
Formal Reasoning about Languages for Distributed Computation
  • Programming Language Semantics
  • Distributed Computing
  • Concurrency
  • Logical Frameworks
  • Computer Science
Closed 2009
Innovative Strategies and Tools for Teaching and Learning Programming Logic
  • Programming Education
  • Pedagogy
  • Educational Tools
  • Becker's Robots
  • Learning Logic
  • Computer Science
Closed 2021
Communications-aware distributed deep reinforcement learning in multi-robot team...
  • Underwater Robotics
  • MMRS
  • Deep Reinforcement Learning (DRL)
  • Distributed Control
  • Communications
  • Computer Science
Closed 2018
Teams of Aquatic/Aerial Robots for Marine Environmental Monitoring (TARMEM)
  • Marine Robotics
  • Monitoring
  • Autonomous Systems
  • UAVs
  • USVs
  • Distributed Control
  • Computer Science
Closed 2013
Effective Parallel and Distributed Programming via Join Pattern with Guards, Pro...
  • Parallel Programming
  • Distributed Computing
  • Concurrency
  • Join Calculus
  • Programming Languages
  • Computer Science
Closed 2007
Empirical Evaluation of the Cryptographic Protocol Specification Language MSR
  • Computer Science
Closed 2007
Implementation and Evaluation of a Innovative Encryption-Based Anti-Tamper Techn...
  • Computer Science
Closed 2013
Reimplementing Dependent Pattern Matching and Termination Checking in the Coq Th...
  • Proof Assistants
  • Coq
  • Formal Verification
  • Type Theory
  • Programming Languages
  • Computer Science
Closed 2009
Improved Arabic Natural Language Processing through Semisupervised and Cross-Lin...
  • Arabic NLP
  • Machine Translation
  • Cross-Lingual Learning
  • Wikipedia
  • Corpora
  • Computer Science

Faculty Research News

October 15, 2024

CMU-Q hosts Qatar Red Crescent secretary-general to discuss empowerment strategy

Doha, Qatar: Carnegie Mellon University in Qatar, a partner university of Qatar Foundation, hosted Faisal Mohamed Al-Emadi, secretary-general of Qatar Red Crescent, to discuss his…

Read More

January 6, 2025

CMU-Q students take top three spots at QCRI internship showcase

Students from Carnegie Mellon University in Qatar placed first, second and third at the final project showcase for Hamad Bin Khalifa University’s (HBKU) Qatar Computing…

Read More

December 19, 2024

Carnegie Mellon Qatar experts share insight on improving humanity through innovation

At a conference that explored the ramifications and possibilities of artificial intelligence, two Carnegie Mellon-affiliated experts shared their insights on how innovation can improve humanity….

Read More
This site is registered on wpml.org as a development site. Switch to a production site key to remove this banner.