ARDI
MADADI
PhD Student @ MPI-SP
ABOUT ME
I’m a Computer Science PhD student at the CISPA Helmholtz Center for Information Security under the guidance of Marcel Böhme. Previously, my team was based out of the Max Planck Institute for Security and Privacy (MPI-SP).
Before my PhD, I was a combined BS/MS student at the University of Washington Paul G. Allen School of Computer Science & Engineering. I have been fortunate to live in multiple countries and learn several languages (see map below). I worked on mutation testing at the PLSE lab as part of René Just's team. My focus is on software engineering, programming languages, and human-computer interaction. I also worked with Maya Çakmak as a teaching assistant for the undergraduate research sequence (CSE390R/CSE492R).
Countries I have visited
EDUCATION
September 2026 - PresentPhD in Computer Science
Max Planck Institute for Security and Privacy (MPI-SP)
Advised by Marcel BöhmeAugust 2024 - August 2026PhD in Computer Science
Max Planck Institute for Security and Privacy (MPI-SP)
Advised by Marcel BöhmeJanuary 2022 - June 2024Master of Science in Computer Science
University of WashingtonAdvised by René JustSept 2019 - Jun 2021Bachelor of Science in Computer Science
University of WashingtonAdvised by René JustSept 2016 - Jun 2019Associate of Science in Computer and Electrical Engineering
Tacoma Community College
EXPERIENCE
2023Adobe
Research Scientist Intern2023AWS: CodeWhisperer
SDE Intern2022AWS: CodeGuru Security
SDE Intern2021AWS: CodeGuru Reviewer
SDE Intern
SERVICE
- Artifact Evaluation Committee Member, ASE 2026
- Diversity Officer - Max Planck Institute for Security and Privacy
Bochum, Germany - 2025–2026 - Coordinator - PLSE Visit Days, 2023 UW - CSE
2021-2024 - Seattle, WA - Coordinator / Host - The DUB Seminar Series
2022 - Seattle, WA - Mentor - Girls Who Code
2018—2020 - Tacoma
- Artifact Evaluation Committee Member, ISSTA 2026
- Mentor - Big / Little Program, UW - CSE
2021-2024 - Seattle, WA - Student Volunteer - SPLASH
2022 - Auckland, NZ - Ambassador - Washington State Opportunity Scholarship
2019–2020 - Tacoma, WA - Keynote Speaker - Department of State’s Conference on Refugees
2016 - Washington, D.C.
PUBLICATIONS
04.07.2026In Bugs We Trust? On Measuring the Randomness of a Fuzzer Benchmarking Outcome
21.01.2026Incoherence as Oracle-less Measure of Error in LLM-Based Code Generation
Thomas Valentin, Ardi Madadi, Gaetano Sapia, Marcel Böhme. PDF16.09.2024Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs
Benjamin Kushigian, Samuel Kaufman, Ryan Featherman, Hannah Potter, Ardi Madadi, René Just. Conference Page05.12.2022Contextualized Programming Language Documentation
Hannah Potter, Ardi Madadi, René Just, and Cyrus Omar. PDF
ACKNOWLEDGMENTS
01.07.2023Notes on Program Analysis - Michael D. Ernst
PROJECTS
Mutation Testing for Halide (Adobe)
Mutation testing could be highly beneficial for Halide, a programming language designed for high-performance image processing. Firstly, mutation testing allows for the evaluation of the effectiveness […]
Hazel (explainthis)
Hazel features typed holes in the text, allowing users to typecheck, manipulate, and run programs even when they are syntactically malformed. This work was published in […]
TEACHING
Software Design and Implementation (CSE331)
Winter 2022Hal Perkins
Summer 2021Ardi Madadi
Spring 2021Kevin Zatloukal
Winter 2021Hal Perkins
Autumn 2020Kevin Zatloukal
Summer 2020Alexey Beall
INTRODUCTION TO RESEARCH IN COMPUTER SCIENCE & ENGINEERING (CSE390R/CSE492R)
Spring 2024 Maya Çakmak
Winter 2024 Maya Çakmak
Fall 2023 Maya Çakmak
Spring 2023 Maya Çakmak
Winter 2023Maya Çakmak
Autumn 2022Maya Çakmak
Software Engineering (CSE403)
Spring 2022René Just
