Tim Nico Bauerschmidt

My name is Tim and I am a graduate student at Saarland University, Germany. I am broadly interested in the field of artificial intelligence and machine learning. Ultimately, I would love to contribute to the development of artificial general intelligence (AGI) systems.

I have a vast theoretical foundation in machine learning, covering general principles, deep learning, reinforcement learning, optimization, trustworthiness, and explainability. I also have some basic knowledge of structural causal models, causal discovery, and variational inequality methods (e.g., used in multi-agent systems and GANs). On the symbolic side of AI, I know about heuristic exploration of search spaces, SAT and SMT solving, deductive verification, and model checking. Regarding programming, I have extensive experience in Python, especially in PyTorch, and related libraries like PyTorch Lightning and Weights & Biases. I have also used languages like C, C++, Java, and JavaScript throughout my studies.

Currently I am working with Prof. Isabel Valera and Prof. Jilles Vreeken on time series analysis and attention-based models.