Lori A. Clarke

Papers

Total Citations

H-Index

About

Lori A. Clarke is a pioneering computer scientist whose research has fundamentally advanced the fields of software engineering, formal verification, and human-computer interaction. Her work is distinguished by a deep commitment to improving the reliability and safety of complex, high-stakes systems. Clarke made seminal contributions to the theory and practice of program analysis and testing, most notably through her development of data flow analysis techniques for software testing, which are now foundational to the discipline. Her research on symbolic execution and constraint-based testing has also been highly influential. With over 14,000 citations, her impact is profound. A particularly notable achievement is her leadership in developing the "Intelligent Interruption Management System," a project that applies her expertise in formal methods and human factors to enhance safety and performance in complex surgical and robotic procedures. This work exemplifies her ability to translate rigorous theoretical foundations into practical solutions that directly address critical real-world challenges. Clarke is a Fellow of the ACM and the IEEE, and her legacy continues to shape how we build and trust the software that underpins modern life.