Department of Computer Science
Prof. Dr Martin E. Müller
Math./theor. foundations of informatics
Unit
Department of Computer Science
Research fields
- (Non-classical) algebraic (modal) logic
- Vagueness by residual constructions
- Relation Algebra
- Logic and relational knowledge discovery aka (explainable) machine learning
Location
Sankt Augustin
Room
C.214 or A.033
Address
Grantham-Allee 20
53757 Sankt Augustin
Contact hours
Donnerstags 14:00-16:00. Eintragung in der Liste an der Bürotür erforderlich.
Curriculum vitae
M.E.Müller: Curriculum Vitae
More information: ORCID, RID, RG, dblp, dnb
Curriculum Vitae
Education, Research and Affiliations
- 1995
M.A., "An extension of inverse resolution to order sorted Horn logic." University Osnabrück. - 1995
Postgrad, University of Ulster, Jordanstown, NI. (I. Düntsch).
Rough Set Theory, Relation Algebra - 1995-1996
Researcher, Bremen University (O. Herzog). AI group, Planning - 1997-2002
Researcher, Institute of Semantic Information Processing, University Osnabrück. AI, ML, ILP. - 2002
Ph.D., "Inducing Concpetual User Models",(C.-R. Rollinger, H.Gust, I. Düntsch). ILP for user adaptive meta web search. - 2002-2008
Researcher (C1), University Augsburg. Logic/relational machine learning/knowledge discovery on biosensor data, (E. André) - 2008-2014
Professor, Hochschule Bonn-Rhein-Sieg. Algebraic nonclassical logic, relation algebra, abstract algebra. Teaching: Theory of computer science, mathematical foundations. - 2014-2015
Researcher (DFG), University Augsburg, (B.Möller). Algebraic nonclassical logic, relation algebra, abstract algebra, unified theories of programming. Teaching: Theory of computer science, mathematical foundations - 2016
Research sabbatical. Algebraic nonclassical logic, relation algebra, abstract algebra, unified theories of programming. - 2016
Dr.habil., "Algebras of vagueness", University Augsburg (B.Möller, E.André, S.Parsons; U.Schmid, H.deSwart) - 2016-
Professor, math.-theor. Foundations CS, Hochschule Bonn-Rhein-Sieg.Algebraic nonclassical logic, relation algebra, abstract algebra. Teaching: (Advanced) discrete mathematics, (advanced) theory of computer science.
Publications
This list only contains relevant publications (not necessarily top-rated ones). For more references, see ORCID, RID, RG, dnb, and dblp. I've never been keen on writing a great number of papers and I don't know my h-index.
Logics, Relation Algebra
- Books, Chapters
- ed. with P. Höfner, P. Jipsen, W. Kahl, Relational and Algebraic Methods in Computer Science, 2014.
- Journals
- ed. with P. Höfner, P. Jipsen, W. Kahl, Relational and Algebraic Methods in Computer Science JLAMP 85(4), 2016
- Conferences
- Workshops, Reports
- Other
- Algebras of vagueness, cumulative Habilitation.
Unified theories of programming
- Books, Chapters
- n/a
- Journals
- n/a
- Conferences
- with T. Hoare, B. Möller, G. Struth, A Discrete Geometric Model of Concurrent Program Execution, 2016.
- Workshops, Reports
- with B. Möller and T. Hoare, Tracelets and Specifications, 2017.
- with T. Hoare, B. Möller, G. Struth, A Discrete Geometric Model of Concurrent Program Execution, 2017. Extended version of the 2016 paper.
Machine Learning, ILP
- Books, Chapters
- Relational Knowledge Discovery, CUP, 2012.
- Chapter "Learning Adaptive Behavior" in: Adaptable and Adaptive Hypermedia Systems, 2005
- Journals
- Conferences
- Workshops, Reports
- with L Koine, Y Youssef. Poster Inducing Rules about Distributed Robots for fault detection & diagnosis, DX workshop, 2019.
- with M Thosar, Learning to Understand by Evolving Theories, 2013.
- Inducing content based user models with inductive logic programming techniques, Proceedings of the UM 2001 Workshop ML4UM, 2001.
- Learning Comprehensible Conceptual User Models for User Adaptive Meta Web Search, AAAI TR SS-00-01, 2001.
Other
- Books, Chapters
- with K.-U. Witt, Algorithmische Informationstheorie, 2020.
- Inducing Conceptual User Models, Dissertation, 2001.
- Journals
- On nothing, JLAMP 83(2), 2014
- Being aware: where we think the action is CognTechWork, 9, 2007
- Conferences
- n/a
- Workshops, Reports
Teaching
Classes
Artificial Intelligence (GOFAI)1997-2005, Cognitive Robotics (2004-2008), Machine Learning (1997-2008), (Advanced) Discrete Mathematics (2004-), (Advanced) Logics (2004-), Theory of Computer Science (2008-2016), Computation and Complexity (2016-2020).
Summer schools
- Summerschool German Academic Scholarship Foundation on Non-classical logic, Schloss Neubeuern, 2012.
- Intl. Summer School on Machine Learning, H-BRS (ca. 2009,2010)
Projects
Projects/external funding is listed on ORCID. It's a short list.
Non-funded research projects and (student) working groups:
- PARIA, 2004-2008.
A long-term student project (eventually leading to the PACME architecture of concurrent processes). - Rela-X, 2004-2008.
Implementing libraries for efficient relation calculus. With a programminglanguage R-Lang, visualisation components for sorted matrices and graphs (bipartite, planar, Hasse) and an education interface. - COMPARE, 2024-.
Instead of statistic evaluation of surveys, we collect pairwise multidimensional comparisons. The goal is to compile this into a nominal set of data from which we induce lattice like evaluations of surveys. We intend to use rough set theory, formal concept analysis and inductive logic programming for elicitation of further knowledge hidden in survey answers. - "Sets, Structures, Semantics", 2018-.
A book on discrete mathematics and logics.
Academic administration
Extracurricular activities
SIG ForMicα (Formal Methods in Computer Science).
Administration
Fachbereichsratsmitglied, Evaluationsbeauftragter.
Professional activities
- Reviewer for several journals and conferences.
- (Co-) organised several conferences.
- Referee for the German Academic Scholarship Foundation.
- ACM member.
Associated Researchers
Supervisors, reviewers, co-authors:
- Elisabeth André,
- Ivo Düntsch,
- Tony Hoare,
- Peter Höfner,
- Peter Jipsen,
- Bernhard Möller,
- Simon Parsons,
- Ute Schmid,
- Harrie de Swart,
- Claus-Rainer Rollinger,
- Kurt-Ulrich Witt.