I am a PhD student in Thomas Zeume's group at Ruhr University Bochum. I am mainly interested in studying the theoretical foundations that are required to provide meaningful feedback to students using educational support systems. This often involves a variety of techniques from logic, finite model theory, and database theory.
We are developing Iltis (polecat), an interactive, webbased system for teaching formal foundations of computer science at Ruhr University Bochum and TU Dortmund.
If you want to know more about Iltis, check it out:
