Juri Judt

Juri Judt (born 1975) is a German computer scientist specializing in formal methods and programming language semantics. He is known for his work on the formal verification of software systems, particularly focusing on the application of rewriting logic and the Maude system. Judt has made contributions to the development of tools and techniques for analyzing and verifying the correctness of complex concurrent and distributed systems. His research encompasses topics such as model checking, theorem proving, and the design of domain-specific languages for formal specification. Judt has held research positions at various institutions and has published extensively in leading academic journals and conference proceedings in the field of computer science.