- 2019–today: PhD student at the International AudioLabs Erlangen
- Music Information Retrieval
- Supervisor: Prof. Meinard Müller
- 2017–2019: Postgraduate studies of Computer Science at RWTH Aachen University
- i.a. machine learning, computer vision, speech recognition and logic
- Philosophy and ethics of technology
- Master thesis: Multi-Object Tracking and Segmentation using Instance Embeddings
- 2013–2017: Undergraduate studies of Computer Science at RWTH Aachen University
- Basic study, algorithmic learning theory, SMT solving
- Ethics and philosophy of science
- Bachelor thesis: Sensitivity Analysis over Polymatroids with Applications to Game Theory
- 2015–2016: ERASMUS+ exchange to the University of Edinburgh
- i.a. quantum computing, algorithmic game theory, machine learning, music informatics and secure programming
Michael Krause, and Meinard Müller
Hierarchical Classification of Singing Activity, Gender, and Type in Complex Music Recordings
Published in: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2022.
Michael Krause, Meinard Müller, and Christof Weiss
Towards Leitmotif Activity Detection in Opera Recordings
Published in: Transactions of the International Society for Music Information Retrieval (TISMIR), 4(1): 127–140, 2021.
Links: PDF, Project page (incl. data)
Meinard Müller, Yigitcan Özer, Michael Krause, Thomas Prätzlich, and Jonathan Driedger
Sync Toolbox: A Python Package for Efficient, Robust, and Accurate Music Synchronization
Published in: Journal of Open Source Software (JOSS), 6(64): 1–4, 2021.
Links: Code, PDF
Michael Krause, Meinard Müller, and Christof Weiss
Singing Voice Detection in Opera Recordings: A Case Study on Robustness and Generalization
Published in: Electronics, 10(10): 1–14, 2021.
Michael Krause, Frank Zalkow, Julia Zalkow, Christof Weiss, and Meinard Müller
Classifying Leitmotifs in Recordings of Operas by Richard Wagner
Published in: Proceedings of the International Society for Music Information Retrieval Conference (ISMIR), 2020.
Links: PDF, Poster, Project page (incl. data)
Kristian Kersting, Christoph Lampert, and Constantin Rothkopf (eds.)
Wie Maschinen lernen - Künstliche Intelligenz verständlich erklärt
Chapters: Maschinelles Lernen (Machine Learning), Bayesregel (Bayes Rule)
Paul Voigtlaender, Michael Krause, Aljoša Ošep, Jonathon Luiten, Berin Balachandar Gnana Sekar, Andreas Geiger, and Bastian Leibe
MOTS: Multi-Object Tracking and Segmentation
Published in: The IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 2019.
Links: PDF, Project page (incl. data), Code
- Multi-Object Tracking and Segmentation using Instance Embeddings
Simply put, the goal of this thesis is to build and evaluate algorithms that can identify objects in a video by assigning each pixel in the video to the object instance it belongs to, or to mark it as background. This goal draws upon several different research areas of computer vision, the study of algorithms that process visual data like images and videos. Research questions that have previously been considered separately - such as “where in this video is the machine operator’s right hand?” and “which pixels correspond to a hand and which pixels are background?” - now need to be considered jointly.
- Sensitivity Analysis over Polymatroids with Applications to Game Theory
This thesis deals with certain combinatorial structures and their applications to game theoretic problems. As part of this, we will review several classical results and recent publications on these topics and give illustrating examples. We will give an introduction to matroid and polymatroid theory as well as basic concepts from non-cooperative and cooperative games. Our focus will be on applications of sensitivity results for polymatroid optimization to matroid congestion games and related concepts. In addition, we will demonstrate how the polymatroid structure of certain convex cooperative games can be exploited to recompute core allocations efficiently.
- Music Generation Using Machine Learning
This report deals with computer generated music. In particular, it discusses two recent approaches for automated melody composition using machine learning methods. Apart from melody, music needs accompaniment (e.g. chords played by different instruments) and must be performed, possibly by a synthesizer. Computer generated music can be used where music is required on- demand (e.g. video games) or as an aid for human composers.
- Quantum Simulation
This essay deals with a technique called Quantum Simulation, which means simulating one quantum system through another. It begins by motivating the benefits one might obtain from simulating quantum systems and by introducing the main challenges one faces in the process. In section 2, an algorithm that employs quantum simulation to solve linear equations is reviewed and possible applications are discussed.
- Algorithmic Learning Theory - Pattern Languages
In this report, we have looked at pattern languages. These were originally introduced as a model for inductive inference of formal languages, the question being, if and how a pattern descriptive of a set of strings can be found algorithmically. We studied the results of Dana Angluin, which state that finding descriptive patterns of maximum length is an NP-complete problem. We then described her algorithm for finding descriptive patterns with only one variable. Furthermore, we put the problem into the context of Gold's model of learning in the limit and discussed the algorithm by Lange and Wiehagen. Finally, we described some further results of research into pattern languages.
Download the slides of the accompanying talk