Hi, I am Leif Sabellek!

Mathematician, Computer scientist, Youtuber

I studied mathematics and computer science at the University of Bremen, Germany. I received my Master's degree in 2015 and PhD in 2019. From 2016 until 2022 I worked as a scientific employee at the University of Bremen, researching on symbolic artificial intelligence, in particular ontology-mediated query answering and description logics. I taught classed about theoretical computer science, automata theory, formal languages, computational complexity theory, algorithms and mathematical logic.

Since 2022, I do AI research in the research department of CONTACT Software. Here, I am mostly concerned with large language models (LLMs), semantic search, retrieval augmented generation (RAG) and data analytics.

I also have a YouTube channel about theoretical computer science.

Other interests (in no particular order)

Mathematical Logic Automata Theory Complexity Theory Number Theory Graph Theory Formal Languages Running Geocaching Artificial Intelligence Knowledge Graphs Natural Language Processing Foreign Languages Productivity Speedruns Game Development Teaching Logic puzzles Minecraft Chess Geoguessr Starcraft 2 Speedcubing Disassembling Software Development Emacs Vim Python Java Web Development

Contact

You can send me an email to kontaktnlogspacede, just insert two symbols at the correct positions.