Recipient of the ACM SIGSOFT distinguished paper award and (ISC)² graduate scholarship; published multiple papers in conferences and journals such as USENIX'22, IEEE TSE'22, ISSTA'20, NeurIPS'22, IEEE TIFS'20, INFOCOM'19, EuroS&P'22, SIGMETRICS'24; filed and issued several patents, including 'Computer Implemented Program Specialization' and 'Method and Apparatus for Improved Security in Trigger Action Platforms'; co-founded FitStack, which received $500k through the Varsity Venture Studio established by Wisconsin Alumni Research Foundation (WARF) and High-Alpha Innovation.
Research Experience
Currently a Scientist in the Cybersecurity group at the Qatar Computing Research Institute; previously an Assistant Professor in the CSE Department at Chalmers University of Technology and the University of Gothenburg; was a Scientist at the University of Wisconsin–Madison, working with Prof. Somesh Jha and Prof. Thomas Reps on software debloating and machine learning robustness.
Education
PhD in Computer Engineering from the University of Nebraska-Lincoln, under the supervision of Dr. Hamid Bagheri and Dr. Qiben Yan; MSc in Computer Security from the University of Kent.
Background
A software security researcher and entrepreneur with primary research interests at the intersection of program analysis and cybersecurity. Utilizes a mix of static and dynamic analysis, symbolic execution, and formal verification methods to assess the safety and security of applications in emerging fields such as Internet of Things (IoT) and Android.
Miscellany
Holds industry certifications such as CISSP, CEH, Security+, CCNP Security, and Cisco Instructor; served as a reviewer and external reviewer for various conferences and journals; represented graduate students in faculty and computer engineering committees; implemented and released a Python Dependency Chatbot.