Michigan Engineering | University of Michigan Goel designs algorithms that can automatically demonstrate the correctness of hardware systems.
Blog
-
Researchers to use brain scans to understand gender bias in software development
The team will use fMRI to identify some of the underlying processes that occur when a code reviewer weighs in on a piece of software and its author.
-
‘Largest radio telescope in space’ to improve solar storm warnings
NASA has selected University of Michigan’s $62M Explorer cubesat mission.
The post ‘Largest radio telescope in space’ to improve solar storm warnings appeared first on Engineering Research News.
-
A sewage surveillance effort to track COVID-19
We don’t know much about how coronaviruses move through the environment. U-M and Stanford engineers aim to change that.
The post A sewage surveillance effort to track COVID-19 appeared first on Engineering Research News.
-
Programming around Moore’s Law with automatic code translation
Most programs in use today have to be completely rewritten at a very low level to reap the benefits of hardware acceleration. This system demonstrates how to make that translation automatic.
-
Medical supply chains are fragile in the best of times and COVID-19 will test their strength
The pipeline of pharmaceuticals is easily disrupted.
The post Medical supply chains are fragile in the best of times and COVID-19 will test their strength appeared first on Engineering Research News.
-
Using machine learning to detect disease before symptoms manifest
Prof. Alfred Hero speaks to ECE about his work using data to predict the transmission of infectious disease among people who are pre-symptomatic or asymptomatic and how it relates to COVID-19.
-
Big data, small footprint
How changing the rules of computing could lighten Big Data’s impact on the internet.
-
Designing lightweight glass for efficient cars and wind turbines
Lighter, stiffer glass fibers could make composite materials thinner without sacrificing strength.
The post Designing lightweight glass for efficient cars and wind turbines appeared first on Engineering Research News.
-
Data security for a safer world
ECE alum Kurt Rohloff helped create one of the world’s best homomorphic encryption software libraries, and he reflects on how his time at Michigan helped shape his career.