M.E.Müller: Curriculum Vitae

Professor,	University of Applied Sciences Bonn-Rhein Sieg
	Department Computer Science
	Grantham-Allee 20
	53757 St. Augustin
	martin.mueller@h-brs.de
Priv.Doz.,	University Augsburg
	Department Computer Science
	Universitätsstraße 6a
	martin.mueller@informatik.uni-augsburg.de
Contact:	m.e.mueller@acm.org
	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	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	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	-	Priv.Doz., Computer Science, University Augsburg
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
- Roughness by Residuals - Algebraic Description of Rough Sets and an Algorithm for Finding Core Relations, 2015.
- Towards Finding Maximal Subrelations with Desired Properties, 2014.
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.
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
- 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.
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.
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
- 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: