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
Hardware model checker takes gold at international competition
Predoctoral Fellowship for mathematically provable hardware design
CSE faculty bring significant showing to major systems conference
A journey from the Ibn Sina School to Graduate School at U-M
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
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.