Hi, I am Zalán Lévai, a PhD Student in Mutation Testing at the University of Sheffield. You will know me from my work on and surrounding mutest-rs, the mutation testing tool for Rust programs that I created and maintain.

My work focuses on both research and development, and I am equally fascinated by theory and practice. My interests include compilers, static and dynamic analysis, testing and quality assurance, embedded systems, safety-critical systems engineering, and anything involving the Rust programming language. I am a member of the Safety-Critical Rust Consortium's Tooling Subcommittee.

I am originally from Budapest, Hungary, hence my name and its accents.

Below, you will find my talks and publications.