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

1. Books, Chapters
   • ed. with P. Höfner, P. Jipsen, W. Kahl, Relational and Algebraic Methods in Computer Science, 2014.
2. Journals
   • ed. with P. Höfner, P. Jipsen, W. Kahl, Relational and Algebraic Methods in Computer Science JLAMP 85(4), 2016
3. Conferences
   • Roughness by Residuals - Algebraic Description of Rough Sets and an Algorithm for Finding Core Relations, 2015.
   • Towards Finding Maximal Subrelations with Desired Properties, 2014.
4. Workshops, Reports
   • Towards Algebraic descriptions of Formal Concept and Rough Set Analysis, 2015
   • ATPPortal: a user-friendly webbased interface for automated theorem provers and for automatically generated proofs, 2010.
5. Other
   • Algebras of vagueness, cumulative Habilitation.

Unified theories of programming

1. Books, Chapters
   • n/a
2. Journals
   • n/a
3. Conferences
   • with T. Hoare, B. Möller, G. Struth, A Discrete Geometric Model of Concurrent Program Execution, 2016.
4. 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

1. Books, Chapters
   • Relational Knowledge Discovery, CUP, 2012.
   • Chapter "Learning Adaptive Behavior" in: Adaptable and Adaptive Hypermedia Systems, 2005
2. Journals
   • Can user models be learned at all? Inherent problems in machine learning for user modelling, KER 19(1), 2004.
   • Learning Scrutable User Models: Inducing Conceptual Descriptions, KI 16(3), 2002.
3. Conferences
   • with Y. Youssef, A Review of Inductive Logic Programming Applications for Robotic Systems, 2023.
   • Modalities, Relations, and Learning, 2009.
   • Why Some Emotional States Are Easier to be Recognized Than Others, 2006.
4. 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

1. Books, Chapters
   • with K.-U. Witt, Algorithmische Informationstheorie, 2020.
   • Inducing Conceptual User Models, Dissertation, 2001.
2. Journals
   • On nothing, JLAMP 83(2), 2014
   • Being aware: where we think the action is CognTechWork, 9, 2007
3. Conferences
   • n/a
4. Workshops, Reports
   • On the needs for specification and verification of collaborative and concurrent robots, agents and processes, 2015.

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.