Soha Hussein

Soha Hussein is an Assistant Professor at Ain Shams University in Egypt. She is actively involved in the software engineering research community, serving in various roles including Publication Co-chair for ASE 2025 and Posters/Tools/SRC Co-Chair for SPLASH/ISSTA 2026.

Dr. Hussein received her Ph.D. and M.S. in Computer Science from the University of Minnesota. She also completed the Early Career Teaching and Learning program and the Prepare Future Faculty program at the University of Minnesota, demonstrating her commitment to both research and education.

Her research focuses on enhancing software reliability and security through advanced program analysis techniques. Specifically, she specializes in symbolic execution, fuzzing, formal verification, and software testing. Her work addresses the critical challenge of path explosion in symbolic execution through innovative path-merging approaches. Dr. Hussein's research has practical applications in verifying Java programs and improving automated program verification techniques, with recent work extending to AWS Lambda applications. Her publications demonstrate a consistent trajectory of advancing verification techniques while maintaining strong theoretical foundations.

Dr. Hussein has received multiple prestigious awards for her work on Java Ranger, including Gold Medals at SV-COMP 2020, 2021, and 2025, as well as a Bronze Medal at SV-COMP 2020. These awards recognize the effectiveness of her path-merging approach in reducing path explosion and improving verification efficiency.

She is actively involved in mentoring students, particularly through the Google Summer of Code program where she serves as an organization admin and mentor for the Java Pathfinder (JPF) Organization. Dr. Hussein encourages excellent students to reach out for research opportunities in her lab, having successfully mentored students like Kunha Kim who accepted a Master scholarship at University of Colorado Boulder.

Dr. Hussein leads research related to Java Ranger, an extension to Symbolic Pathfinder that implements path-merging techniques for Java verification. Her team continues to advance this work, with recent developments supporting string and array operations and applying the technology to AWS Lambda applications. She maintains active contributions to the SymbolicPathFinder/jpf-symbc repository on GitHub, demonstrating her commitment to open-source verification tools.