menu MENU
Home > News > All News > Karem Sakallah

Karem Sakallah

Famous Paxos distributed protocol automatically determined safe and secure

Two researchers have debunked the common assumption that the famous Paxos consensus protocol is too complex to be proven safe without hours of manual labor.

Building a testing-free future

How automated guarantees that our most complex programs are secure and trustworthy can save us time, money, and anxiety.

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.

Predoctoral Fellowship for mathematically provable hardware design

Goel designs algorithms that can automatically demonstrate the correctness of hardware systems.

CSE faculty bring significant showing to major systems conference

Researchers designed three new systems to speed up code at several key bottlenecks.

A journey from the Ibn Sina School to Graduate School at U-M

The School helps to prepare undergraduate students in the Middle East and North Africa (MENA) region for successful careers in computer science research.

Karem Sakallah Continues Commitment to Qatar Computing Research Institute

Karem Sakallah Named ACM Fellow

Two CSE faculty help make the Ibn Sina School for computer science a reality

Computer Scientists Win Best Paper Award at Turing Centenary Conference

EECS Spinoffs recognized as Key Innovators in Business Competition

Congratulations to these winning companies. Go Blue!

Prof. Karem Sakallah shares 2009 CAV Award for fundamental work on SAT solvers

The award recognizes the researchers' contributions to the development of high-performance Boolean satisfiability solvers.