Name:Zalán Lévai

Bio:

I am a PhD Student in Mutation Testing at the University of Sheffield, and the software engineer behind the Rust mutation testing tool, mutest-rs, which I have dedicated myself to for the past four years. 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 have recently become a member of the Safety-Critical Rust Consortium’s Tooling Subcommittee, bringing along my knowledge of tooling development.

Country:United Kingdom

Affiliation:University of Sheffield

Research interests:Rust, Static Analysis, Compilers, Software Testing, Mutation Testing, Coverage