Recent breakthrough developments in technologies for real-time genome sequencing, analysis, and diagnosis are poised to deliver a new standard of personalized care.|Long Read

How automated guarantees that our most complex programs are secure and trustworthy can save us time, money, and anxiety.|Long Read

Aerospace PhD pre-candidate Shayan Jalili is one of the few students in the nation awarded the 2020 NASA fellowship for his work on safety verification of cyber-physical systems, which is the formal verification of the safety of software systems that control physical and mechanical devices. |Short Read

Today, over 225 million websites are protected by free certificates issued by Let’s Encrypt.|Medium Read

The winning paper broke open a new area of investigation in hardware-based data leaks.|Medium Read

The new technique automatically constructs policies for applications that keep them from compromising other programs.|Short Read

Censored Planet is releasing technical details for other researchers and for activists. |Medium Read

Aerospace PhD candidate Shivam Barwey receives 2020 J. Robert Beyster Computational Innovation Fellowship Award for developing a GPU-based library for turbulent reacting flow solvers, making him the first Aerospace student to win the award since 2016.|Short Read

The awards were distributed to 18 different primary investigators.|Medium Read

The award recognizes early career faculty who show great promise in developing future computing technologies.|Medium Read

PhD Candidate Iman Javaheri has been awarded the 2020–2021 Michigan Institute for Computational Discovery & Engineering (MICDE) Fellowship.|Short Read

The system automatically proves the trustworthiness of a hardware design, outperforming the competition in nearly every category.|Medium Read