Marton Hajdu

Marton Hajdu is a PostDoc Researcher at the Vienna University of Technology, affiliated with the Systems Engineering department under the Formal Methods in Systems Engineering group (E192-04). His research focuses on formal methods, automated reasoning, and inductive logic.

He actively contributes to projects such as ARTIST (2021–2026), ForSmart (2023–2027), and SFB SPyCoDe (2023–2026), which explore recursive programming, saturation-based reasoning, and inductive benchmarks. His work intersects superposition calculus, term rewriting, and formal verification.

His recent publications highlight advancements in inductive reasoning, recursive program synthesis, and constraint solving using saturation techniques. These contributions align with broader trends in automated deduction and logic programming for computer-aided verification.

Marton Hajdu holds a Diploma Thesis from TU Wien (2020) titled Automating inductive reasoning with recursive functions, establishing his expertise in formal methods and recursive logic.

He collaborates with researchers like Laura Kovács and Andrei Voronkov, and his work is supported by projects spanning formal reasoning, smart systems, and theoretical computer science.