Zalán Bálint Lévai 🏳️‍🌈

🏳️‍🌈 they/them, 🏳️‍⚧️ & 🖤🤍💜.
🎓 PhD student and researcher at the University of Sheffield.
🦀 Rustacean, creator of the mutest-rs mutation testing tools.

[Zalán Bálint Lévai 🏳️‍🌈 @zalanlevai]

After lots of interest, I'm giving a talk on mutest-rs and mutation testing next Tuesday (2026-02-24) at Rust Manchester. Feel free to come and join. We're also hoping to record and release the talk later, so stay tuned!

https://t.co/Zf11W4Utp8
https://t.co/6kJm1CgBsa

[Zalán Bálint Lévai 🏳️‍🌈 @zalanlevai]

@AwkwardMap @m_ou_se @jonhoo @DarthB86 Expect me there! I have lots to share that I think would be of interest :-D

[Zalán Bálint Lévai 🏳️‍🌈 @zalanlevai]

What an incredible first-time experience at a Rust event at #RustNationUK this week! Lots of great talks. I've met a ton of great people, including Sean Borg, @m_ou_se, @jonhoo , @DarthB86 , @AwkwardMap. Thanks for the fabulous pin, Mara, and thanks for the PhD good luck, Jon!

[Zalán Bálint Lévai 🏳️‍🌈 @zalanlevai]

@DarthB86 @m_ou_se @jonhoo @AwkwardMap It was such a great chat, I'd love to share more! I'd love to give a talk in Dortmund sometime, and meet great people there too

[Zalán Bálint Lévai 🏳️‍🌈 @zalanlevai]

@DarthB86 Thank you for considering mutest-rs a highlight! Much more is coming, including another just-accepted paper on an even faster parallelisation technique, the implementation of which will be available in the repo later this week, and even support for embedded devices

[Tim Janus @DarthB86]

Hey folks, I wrote down my experience at Rust Nation UK 2026 - Hope that's interesting for many of you, and let me know what you think!

https://t.co/GIEzXn6kRJ

[Zalán Bálint Lévai 🏳️‍🌈 @zalanlevai]

After lots of interest, I'm giving a talk on mutest-rs and mutation testing next Tuesday (2026-02-24) at Rust Manchester. Feel free to come and join. We're also hoping to record and release the talk later, so stay tuned!

https://t.co/Zf11W4Utp8
https://t.co/6kJm1CgBsa

[Zalán Bálint Lévai 🏳️‍🌈 @zalanlevai]

Mutation testing is an important technique for finding testing gaps. In this publication, we introduce our mutation batching technique for parallel mutation testing, which yields considerable real-world speedups, making mutation testing more accessible in the industry.

[Zalán Bálint Lévai 🏳️‍🌈 @zalanlevai]

I am proud to say that my first journal article has been published during my PhD, and is now available in @acm_tosem: https://t.co/ElsPcOnueb.

You can try our mutation testing tooling for Rust programs, including our mutation batching technique, at https://t.co/ABO1FScGPD.

[Zalán Bálint Lévai 🏳️‍🌈 @zalanlevai]

I agree with that very first statement. It just so happens that @wesstreeting is the one making such highly irresponsible public statements dehumanising trans people, and claiming that trans puberties are abnornal.

[Wes Streeting @wesstreeting]

Some of the public statements being made are highly irresponsible and could put vulnerable young people at risk.

I know there’s lots of fear and anxiety. I am determined to improve the quality of, and access to, care for trans people.

8/9

[Zalán Bálint Lévai 🏳️‍🌈 @zalanlevai]

*laughs in submitting dissertation 32 seconds before the deadline*

[Phil McMinn @philmcminn]

Zalán Lévai @zalanlevai is presenting our work on mutation testing for Rust @icstconference

[Zalán Bálint Lévai 🏳️‍🌈 @zalanlevai]

I am so proud of this work and where it has ended up! Thank you @philmcminn for all the help along the way! I cannot wait to present it in Dublin @icstconference in April.

[Sheffield Comp Sci @shefcompsci]

Huge congratulations to undergraduate Zalán whose paper has been accepted at the prestigious IEEE International Conference on Software Testing, Verification and Validation 🎉

“We really shot for the stars going for this conference - and I'm glad we did!"
https://t.co/2PlH2H70zj