gears and Rust icon, illustration - Credit: Jenni Hamilton

Safe Systems Programming in Rust

In this article, we begin by giving the reader a bird’s-eye view of the Rust programming language, with an emphasis on some of the essential features of Rust that set it apart from its contemporaries. Second, we describe the initial progress made in the RustBelt project, an ongoing project funded by the European Research Council (ERC), whose goal is to provide the first formal (and machine-checked) foundations for the safety claims of Rust. In so doing, we hope to inspire other members of the computer science research community to start paying closer attention to Rust and to help contribute to the development of this groundbreaking language.

Safe Systems Programming in Rust Read More
key and map of Saudi Arabia, illustration - Credit: Andrij Borys Associates

Biomedical Computing in the Arab World: Unlocking the Potential of a Growing Research Community

This article sheds light on notable research efforts in the Arab world in each of the aforementioned areas of biomedical computing [biomedical imaging, biomedical signal analysis and bioinformatics]. It also demonstrates how this research addresses healthcare issues in the region.

Biomedical Computing in the Arab World: Unlocking the Potential of a Growing Research Community Read More