Karem A. Sakallah is affiliated with the University of Michigan-Ann Arbor in the United States. Their scholarly work centers predominantly on computer science, with a focus on computational theory and mathematics, artificial intelligence, computer networks and communications, software, and safety, risk, reliability, and quality.
Their main research topics include formal methods in verification, distributed systems and fault tolerance, logic, programming and type systems, software testing and debugging techniques, security and verification in computing, Petri nets in system modeling, and safety systems engineering in autonomy.
Frequent coauthors collaborating with Sakallah include Aman Goel, Denis Bueno, Y. Luo, Stephan Merz, and Arlen Cox.
Recent papers authored or coauthored by Sakallah are:
These publications have appeared in various venues including arXiv (Cornell University), Innovations in Systems and Software Engineering, reposiTUm (TU Wien), Electronic Proceedings in Theoretical Computer Science, and Zenodo (CERN European Organization for Nuclear Research).
Sakallah has been recognized as an ACM Fellow in 2012 for contributions related to algorithms for Boolean satisfiability advancing hardware verification. The IEEE Fellow honor was awarded in 1998 for work on modeling, analysis, and optimization of digital system timing.
J.P. Marques-Silva;K.A. Sakallah
João P. Marques Silva;Karem A. Sakallah
Mark H. Liffiton;Karem A. Sakallah
Jesse Whittemore;Joonyoung Kim;Karem Sakallah
F.A. Aloul;K.A. Sakallah;I.L. Markov
Fadi A. Aloul;Arathi Ramani;Igor L. Markov;Karem A. Sakallah
G.-J. Nam;F. Aloul;K.A. Sakallah;R.A. Rutenbar
K.A. Sakallah;T.N. Mudge;O.A. Olukotun
João Marques-Silva;Karem A. Sakallah
Paul T. Darga;Mark H. Liffiton;Karem A. Sakallah;Igor L. Markov
João P. Marques-Silva;Karem A. Sakallah
K.A. Sakallah;T.N. Mudge;O.A. Olukotun
Phiroze N. Parakh;Richard B. Brown;Karem A. Sakallah
Fadi A. Aloul;Arathi Ramani;Igor L. Markov;Karem A. Sakallah
Mark H. Liffiton;Karem A. Sakallah
F.A. Aloul;A. Ramani;I.L. Markov;K.A. Sakallah
Fadi A. Aloul;Arathi Ramani;Igor L. Markov;Karem A. Sakallah
Yoonna Oh;Maher N. Mneimneh;Zaher S. Andraus;Karem A. Sakallah
Hossein M. Sheini;Karem A. Sakallah
Paul T. Darga;Karem A. Sakallah;Igor L. Markov
João Marques-Silva;Karem A. Sakallah
If you think any of the details on this page are incorrect, let us know.
If you’re considering a Computer Science degree in the USA, you may also want to explore related fields that offer flexible learning and strong career potential. Many students now opt for online degree programs to save on tuition and fit their studies around other commitments. For those interested in the physical sciences, earning a physics degree online can open up paths in research, education, or engineering.
Data science continues to grow in demand. Pursuing a data scientist degree online is a strategic move, with programs available at various price points. Similarly, technology-driven students can explore electrical engineering online tuition costs to find affordable options in a field closely related to computer science.
For those seeking to quickly enhance their credentials, there are also 3-month certificate programs that pay well. These fast-tracked certificates can lead to lucrative positions in areas like cybersecurity, programming, and IT support, providing rapid entry into the tech workforce.
Shibaura Institute of Technology
University of Chicago
University of Paris-Saclay
Arizona State University
Maastricht University
Scripps Research Institute
Nagoya University
Khalifa University
King Saud University
Oklahoma State University
Stockholm School of Economics
The University of Texas MD Anderson Cancer Center
King's College London
Aix-Marseille University
Wageningen University & Research
Northwestern University
