eecs-cse lead

After five years, Let’s Encrypt, a non-profit based on tech developed at Michigan, has helped to secure the internet

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

Tool to automate popular security technique earns distinguished paper

The new technique automatically constructs policies for applications that keep them from compromising other programs.|Short Read
3D model of Coronavirus

Undergrads awarded by NASA, European Space Agency for project predicting COVID hotspots

The team earned the Best Use of Science award at the NASA Space Apps COVID-19 Challenge for their machine learning model that can predict hotspots for COVID outbreaks|Medium Read
people voting while wearing their masks.

5 ways Americans can keep their vote secure and accurate

Expert advice for voting in an unprecedented election.|Medium Read

Hardware model checker takes gold at international competition

The system automatically proves the trustworthiness of a hardware design, outperforming the competition in nearly every category.|Medium Read
TrainTime's capacity view in front of a train

Student developer builds Long Island commuters a safer, more accurate train app

CS undergrad Ryan O’Connor led front-end development on a major update to Long Island Rail Road’s TrainTime app, helping the country’s biggest commuter line offer socially distanced service.|Medium Read
Server racks with network delay

“Hiding” network latency for fast memory in data centers

A new system called Leap earned a Best Paper award at USENIX ATC ‘20 for producing remote memory access speed on par with local machines over data center networks.|Medium Read
Portrait of Michael Wellman.

Michael Wellman named chair of CSE

Professor Michael Wellman to be named chair of the Computer Science and Engineering division subject to Regental approval.|Medium Read
Chad Jenkins, CSE Associate Professor, poses with his research group's two robots, Odd Job and Cookie, in the Beyster Building on October 27, 2016

Technology that serves all: a single step could pave the way

A Q&A with Chad Jenkins.|Medium Read
View of the North Campus Bell Tower blocked by caution tape

Students lead the way on State of Michigan web application to help curb the spread of COVID-19

“I don’t think any of us expected a global pandemic at the end of our senior year, let alone being able to work on an application that helps address it.”|Medium Read
Robot searching in a snack bar

Model helps robots think more like humans when searching for objects

The model is a practical method for robots to look for target items in complex, realistic environments.|Medium Read
Multithreading

New method ensures complex programs are bug-free without testing

The system targets software that runs using concurrent execution, a widespread method for boosting performance, and proves whether a program will output what it's supposed to.|Medium Read