HOME/Theory of Computation

Theory of Computation

CSE faculty bring significant showing to major systems conference

Researchers designed three new systems to speed up code at several different bottlenecks.|Medium Read

Alum named director at major collaborative theory center

Pennock’s research is focused on designing intelligent markets to crowdsource forecasts and improve decision making.|Short Read
Quantum security

Building a security standard for a post-quantum future

A large quantum computer could retroactively decrypt almost all internet communication ever recorded.|Medium Read

Peter Honeyman receives USENIX Test of Time Award

The USENIX Test of Time Awards recognizes papers presented at its respective conference from at least 10 years ago that have had a lasting impact on their fields.|Short Read
alums

Advancing computation: 4th U-M alum wins Turing Award

The Turing Award has honors the computer scientists and engineers who create the systems and underlying theoretical foundations that propel the information technology industry.|Medium Read
hongwei liao

Hongwei Liao, EE Systems Grad Student, awarded Rackham Predoctoral Fellowship

Liao's research contributes theoretical developments on the control of Petri nets, and has potential to be extended to a broader class of resource allocation systems.|Medium Read