Martin E. MüllerView profile
Professor
Prof. Dr. Martin E. Müller is a Professor in the Department of Computer Science at Bonn-Rhein-Sieg University of Applied Sciences, specializing in the mathematical and theoretical foundations of informatics. His research bridges abstract algebraic structures with practical computational applications, particularly in knowledge representation and reasoning systems. Dr. Müller's primary research interests include Algebraic Logic , Modal Logic , Relational Algebra , Universal Algebra , and Logic Knowledge Discovery (also known as explainable machine learning). His work demonstrates how theoretical mathematical frameworks can provide robust foundations for practical computational problems, particularly in the areas of rough set theory, formal concept analysis, and inductive logic programming. He approaches machine learning through logical structures, emphasizing transparency and explainability in AI systems. Analysis of his publication record shows a consistent scholarly trajectory from 1994 through 2023, with increasing emphasis on applying formal logical methods to contemporary machine learning challenges. His work spans theoretical foundations of computing, relational methods in program semantics, and practical applications in user modeling and knowledge discovery. Recent publications demonstrate growing interest in making machine learning more interpretable through logical frameworks. Among his professional recognitions is the Seahorse award from 1975 . Dr. Müller serves as a reviewer for numerous academic journals and conferences and is an active member of several professional associations in computer science and logic. Dr. Müller has led significant research projects including PARIA (2004-2008), which developed the PACME architecture for concurrent processes; Rela-X (2010-2019), which implemented libraries for efficient relation calculus with the R-Lang programming language; and the ongoing COMPARE project (2024-) focusing on pairwise multidimensional comparisons for survey analysis. His current work with the 'Sets, Structures, Semantics' project (2018-) aims to create a comprehensive resource on discrete mathematics and logics. His research group maintains strong international collaborations, particularly with researchers in the relational and algebraic methods community, including notable figures like Tony Hoare, Peter Höfner, Peter Jipsen, and Bernhard Möller. The Rela-X project established a productive student working group environment that produced both theoretical insights and practical software tools for relational calculus visualization.







