Faculty Area: Computer Science and Artificial Intelligence

Effective parallel and distributed programming via join pattern with guards, propagation and more

Recent advances in distributed systems and multicore architectures, and the emerging interest in Cloud Computing has unleashed significant pressures upon the programming language community to research and develop better general…

Reimplementing dependent pattern matching and termination checking in the Coq theorem prover

Coq is an interactive proof assistant (theorem prover) based on a long-studied dependent Type Theory called the Calculus of (Co-)Inductive Constructions (CIC). It is a mature system that has been…

Expanding Arabic Wikipedia by statisitcal machine translation

Currently there is a significant mismatch between the size of the Arabic Wikipedia and the population of the Arabic speakers both online and in the physical world. Moreover, some studies…

Intelligent learning environments for computer science undergraduate education

The goal of this proposal is to support Computer Science (CS) education at the undergraduate level. The Qatar National Vision 2030 emphasizes excellence in education to foster the development of…

A type-safe programming language to build safe and secure web applications

Software as a Service (SaaS) is the idea of pushing software and data from the desktop to the Web. For instance, Google Docs is an office suite that is accessible…

Alice for Middle East — Alice ME

Alice is a software tool for introducing computational thinking and programming concepts in the context of creating 3D animations. Alice has been remarkably successful in North America, where research has…

Large-scale, personal and mobile sensor networks and their applications in Qatar

Different science and engineering communities are currently planning, developing, and deploying the next generation of large-scale sensor-based observing systems. These systems enable us to understand at local, regional, and global…

Usable automated data inference for end-users

Nowadays, data are more easily accessible than ever, yet support for correlating base data into interesting consequences is often unavailable, or too expensive, or too technical for many users. Lacking…

Virtuallysafe: A framework for hypervisor code and data integrity

Virtual machine hypervisors have grown from programs designed to emulate an environment for running Operating Systems into full fledged operating systems themselves that manage large numbers of virtual machines using…

Visual SLAM using an array of cameras

Mobile robots can significantly impact industrial applications by improving safety and productivity on dangerous or highly repetitive tasks. In areas such as Oil and Gas production, a key industry for…