Manos Kapritsos

Manos Kapritsos is an Associate Professor in the Department of Computer Science & Engineering at the University of Michigan, Ann Arbor. His research focuses on increasing the reliability of distributed systems through formal verification, fault-tolerant replication, and automated proof techniques. He has contributed to projects such as Aegean (replication beyond client-server models), I4 (automated inductive invariant inference), and Armada (concurrent code verification). His work emphasizes practical applications of formal methods to ensure system correctness and performance.

Education details are not explicitly provided in the text, but his career trajectory suggests advanced academic training in computer science. His research interests include distributed systems, formal verification of protocols, and high-performance systems. Notable awards include the NSF CAREER Award (2021), Google Faculty Award (2017), and Distinguished Paper Awards at PLDI 2020 and USENIX Security 2017.

Teaching includes courses on formal verification, operating systems, and distributed systems, reflecting his expertise in systems software. He has advised students through his GLaDOS research group, though specific advisee names are not listed. Key grants include NSF FMitF and Large grants to advance verification techniques for distributed systems.

Recent articles focus on automating proofs for undecidable protocols (Basilisk), efficient replication communication (Scrooge), and formal latency analysis (Performal). His work bridges theory and practice, aiming to simplify end-to-end verification of complex systems.