Code Blue: News from CSE at Michigan
A new publication from CSE at the University of Michigan, Code Blue highlights high-impact work being done in and beyond the division’s many labs.
What’s inside issue 1.0 of Code Blue
Building a testing-free future
U-M researchers are assembling the puzzle pieces to make formal verification a central stage of software development at every scale. Thanks to a slew of recent findings at CSE, their labs’ work now runs the gamut of leading-edge applications in the field — automating the use of formal verification, making the methods compatible with distributed and parallel systems, and even applying it directly to compiled binary code.
Recent breakthrough developments in technologies for real-time genome sequencing, analysis, and diagnosis are poised to deliver a new standard of personalized care.
How CS is changing education
CSE faculty are changing educational paradigms: coding in history classes; eBooks to broaden participation in computing; and rolling out digital tools for collaborative K-5 learning.
Our devices are under attack in sophisticated new ways. U-M security researchers explore hardware’s limits and find sobering vulnerabilities in our computers and homes.
Tracking internet censorship
Internet censorship is a growing problem, and is not limited to closed societies. Censored Planet shows how even the freest countries are not safe from quietly encroaching interference.