Lu Maltsis

PhD Student
University of Manchester
firstname.lastname[at]manchester.ac.uk
mastodon bsky github

I am a PhD student in Computer Science supervised by Dominik Winterer at the University of Manchester.

I completed my bachelor's degree at ETH in Zurich with a particular fascination for Compiler Design and Cybersecurity.

My research is in Program Testing and Formal Methods, working with very complex input formats such as Programs or Proof Assistants. Furthermore you can talk to me about Fuzzing, Symbolic Execution, Software Verification, Programming Language Design and more.