university

Embrace Multisets: Prime Factorization, GCD, and LCM

We can identify natural numbers with the multiset of their prime factors. The operations of GCD and LCM then correspond to multiset intersection and symmetric difference. We elaborate on this in great detail accessible to math & CS undergraduates.

Embrace Multisets & Relations (Series)

Taking selected undergraduate material of math and CS that is classically taught with sets & functions and now presenting it with multisets & relations.

Diagram Operators

Research on concise specification and implementation of operators on diagrams of formalizations and their meta theory.

FrameIT

Project at KWARC connecting serious games and Mathematical Knowledge Management techniques.

Diagram Operators in a Logical Framework

Often meta-programming facilities that transform diagrams of formalizations adhere to a special form giving them nice meta propreties, e.g. preservation of includes (diagrammatic structure) and morphism composition.

Presentation of "Diagram Operators in a Logical Framework" at LFMTP 2020

I presented a talk at LFMTP on the utility of operators transforming diagrams of formalization in a meta-programming fashion. The talk corresponded to an extended abstract me and my advisor submitted.

FrameIT Project: Paper accepted at CICM 2020

Our paper on "detangling knowledge management from game design in serious games" was accepted.

Functorial Diagram Operators

Often meta-programming facilities that transform diagrams of formalizations adhere to a special form giving them nice meta propreties, e.g. preservation of includes (diagrammatic structure) and morphism composition.

Presentation of "Functorial Diagram Operators" at WADT 2020

I presented a talk on a yet unsubmitted paper from me and my advisor for which our extended abstract was accepted.

Short Exercise: Transfinite Closure in Analysis

We prove that if a ∈ M ⊆ [a, b] is an upwards-closed and open set (wrt. the subspace topology [a, b]), then M = [a, b].