معرفی
Alnis Murtovi is an Assistant Professor at TU Dortmund University's Faculty of Computer Science, Department of Software Engineering. They are a prominent researcher in the fields of explainable AI, machine learning, and software verification, collaborating extensively with Professor Bernhard Steffen and other colleagues at the university.
Dr. Murtovi's research focuses on making machine learning models more interpretable and verifiable, particularly through work on decision trees, random forests, and neural networks. Their recent publications demonstrate a strong emphasis on developing practical tools and compilation-based approaches to explain complex models while maintaining performance. The research spans theoretical foundations in formal methods to practical implementations like the Forest GUMP tool for verification and explanation.
The publication trend shows a consistent output with increasing focus on explainable AI in recent years, with significant contributions in 2023-2025. Their work bridges the gap between theoretical computer science and practical machine learning applications, particularly in verification techniques for AI models. The research has strong connections to software engineering principles and formal methods.
Dr. Murtovi has made substantial contributions to the field through numerous publications in top venues including TACAS, STTT, and various conference proceedings. Their work on Forest GUMP represents a significant practical contribution to the community for model verification and explanation.
As part of the research group led by Bernhard Steffen at TU Dortmund, Dr. Murtovi contributes to interdisciplinary projects that combine language-driven engineering approaches with practical software development challenges. Their research has implications for both academic and industrial applications where model interpretability and verification are critical requirements.
