Faculty Area: Computer Science and Artificial Intelligence

Mercator: AI-driven distributed planning & control for adaptive information gathering and data mapping using cooperative robot swarms

The project will focus on the use of AI techniques and of autonomous and cooperative robot swarms (ACRSs) for exploration & data mapping (EDM). In EDM task scenarios, robots act…

Internet of Things penetration testing lab

This proposal seeks to establish an Internet of Things (IoT) penetration testing lab at Carnegie Mellon University in Qatar. Our long-term intention is to help secure Qatar’s critical infrastructure by…

A distributed system for estimating triangle counts in graph streams

Counting triangles (i.e., cliques of size three) is a classical graph problem with many applications, including anomaly detection, community detection, and link recommendation. For triangle counting in large and dynamic…

Minicomplexity

Computational Complexity Theory studies the fundamental properties of computation, independent of computational model. Many of its open questions are by now long-standing, having already defied decades of intense attacks by…

Automating the meta-theory of proof systems

Proving properties about proof systems is a necessary task to make sure that they are sound and satisfy basic criteria for the application being considered. Nevertheless, it is a tedious…

Hybrush: A hybrid UAV brushing system for PV monitoring and cleaning

Robotics and Autonomous Systems (RAS) such as robots and Unmanned Aerial Systems (UAS) have been widely deployed in today’s industrial applications, and it has been demonstrated that RAS can replace…

Communications-aware distributed deep reinforcement learning in multi-robot teams for underwater inspection tasks

Mobile multi-robot systems (MMRS) can effectively provide automated services in a number of scenarios of practical interest featuring large regions of operations, multiple tasks to be executed over extended time…

Femtoqlouds: Leveraging edge resources to enable personalized and federated deep learning for mHealth applications

The rapidly spreading and smart mobile/IoT devices worldwide are generating a massive amount of data. This huge data has been both a motivation and a key enabler for Machine Learning…

Bringing computer science to secondary schools – curriculum design and implementation

Until very recently, the focus on preparing a computer science educated generation has only been limited to tertiary education, while computing education in K-12 was largely ignored. Most of the…

Teams of aquatic/aerial robots for marine environmental monitoring (TARMEM)

The general goal is to develop planning, coordination and communication tools for the distributed control of a team of aerial and aquatic robots for time-extended monitoring of marine environments. Ultimately,…