Election security expert J. Alex Halderman dissects Antrim County's election debacle to help future contests go more smoothly.|Medium Read

Through his work in NLP and computational social science, Sky hopes to understand complex social interactions and contribute towards the democratization of technology. |Short Read

Through his work, Tim hopes to dramatically accelerate genomic sequencing analysis, enabling the use of handheld genomic sequencers to produce actionable diagnostic data within minutes.|Short Read

Zhizhuo is interested in computer vision and its ability to make breakthroughs in interdisciplinary fields such as ecology and climatology. |Short Read

The paper introduces new hardware and software design principles to improve the performance of several important large-scale irregular workloads.|Short Read

This project is part of Kapritsos' larger goal of bringing formal verification to developers and other practitioners.|Short Read

University of Michigan’s MORPHEUS technology emerges unscathed from bug bounty effort.|Medium Read

The Michigan Game Studios database, developed by lecturer Austin Yarger, helps organize the state's rapidly growing scene.|Medium Read

U-M Aerospace congratulates Professor Cesnik on being selected to work for NASA’s University Leadership Initiative.|Short Read

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