معرفی
Univ.-Prof. Dr. Aart Middeldorp is a Professor in the Department of Computer Science at the University of Innsbruck. He serves as the Associate Dean of Studies for the Informatik (BA/MA/ES) and Software Engineering (MA) programs, and as the Erasmus coordinator for Informatik. His research focuses on term rewriting systems, formal methods, automated reasoning, and theoretical computer science. He leads initiatives in confluence analysis, termination proofs, and the development of tools like crest and CSI.
His work emphasizes formal verification, with contributions to proof term manipulation and abstract completion. Recent research trends include undecidability results in rewrite systems, formalized confluence criteria, and tool-based evaluation in competitions like CoCo. He actively contributes to the Confluence Competition, advancing automated analysis techniques for rewrite systems.
Notable projects include the development of FORT-h and ProTeM, tools supporting formal proofs and term rewriting. His administrative roles ensure academic coordination across undergraduate and graduate programs in computer science and software engineering.
Labs/Teams: His research group develops foundational tools for automated reasoning and term rewriting, with a focus on practical implementations for confluence and termination analysis.
