Timm Spork

In the first few months I worked in a team developing a REST-based website using AngularJS. My tasks included implementation of new features, testing and bugfixing. Currently I help to develope an application realized by a JavaEE/Quarkus backend and a C#/WPF frontend in MVVM-pattern. Although specializing more on the frontend-tasks (e.g. implementing new Views, ViewModels), I also worked on several backend features including database adjustments (SQL / Oracle databases) and BREAD-services.

I worked as a software engineer on an app developed from scratch in Xamarin.Forms. My responsibilities included the design, implementation and testing of the app, as well as construction of the data model, database and communication with the client.

I worked as a teaching assistant for multiple courses, including 'Analysis 1/2' and 'Analysis für Informatiker'. Additionally I was responsible for an exercise group for the 'Vorkurs für Mathematik' in September '16-'19. My tasks included - Hosting weekly exercise groups to help the students understand the contents of the respective courses - Correction of weekly exercises and exams - Helping new students to find their way around the campus during the 'Vorkurs für Mathematik'

My studies are mostly focused on theoretical computer science, primarily in the field of model checking and automata theory. Currently I am writing my final thesis and expect to submit it until the end of this year. In the thesis I deal with the approximate minimization of Markovian systems and how it can be used to reliably reduce the size of these systems to speed up model checking and verification techniques. At the moment, my overall grade is 1.3.

I mainly focused on theoretical computer science and chose mathematics for my applied courses. I wrote my thesis in the field of automata theory and more precisely looked at the decidability of first-order logics with reachability. My thesis was graded with 1.0 (both written part and the colloquium) and my overall grade was 1.7.

I mainly focused on theoretical mathematics and in particular theoretical analysis, function theory and number theory. My thesis dealt with a connection between the prime-counting function and Riemann's zeta-function, which was first discovered by Riemann in the mid 1850s. The thesis got graded with a 1.0 and my overall grade was 2.3.