Since October 2013 I'm an international FIDE-Arbiter. I was Chief Arbiter of several Elo-rated tournaments, e.g. the German Youth Championship or in the German Bundesliga.
In 2014, with a friend I founded the chess.io UG. It aims to develop web-based applications for chess players, e.g. to manage chess tournaments online. Some of its related projects are listed below.
For the German Chess Youth I have organized tournaments with several hundred players each.
SmartCity Living Lab
Development of a webshop based on Magento 2, migration of the existing webshop, full stack web development, devops
Teaching Assistant for the lectures »Logic in Computer Science«, »Deductive Databases«, »Logic Programming«, »Databases«, and »Advanced Databases«
Supervision of six Master and Bachelor theses, as well as of multiple practical courses and seminar papers
Teaching Assistant for the lectures »Programming Paradigms«, »Logic in Computer Science«, »Web Engineering«, and »Algorithms and Data Structures«
Development of a webshop based on Magento
Department Engineering Tools and Platform Solutions
Development of tools to manage the IT environment, based on Ruby on Rails
Doctoral Thesis »Defining and Implementing Domain-Specific Languages with Prolog«, supervised by Prof. Dr. Dietmar Seipel
Expected graduation in Q1/2021
Applied Subject Mathematics, graduated with distinction
Master Thesis »CHR.js: Compiling Constraint Handling Rules to JavaScript« [PDF], supervised by Prof. Dr. Thom Frühwirth
Applied Subject Mathematics
Bachelor Thesis »From XML Schema to JSON Schema – Comparison and Translation with Constraint Handling Rules« [PDF], supervised by Prof. Dr. Thom Frühwirth
Best Paper Award at the 8th Symposium on Languages, Applications, Technologies (SLATE) for »Definite Clause Grammars with Parse Trees: Extension for Prolog« (F. Nogatz, D. Seipel and S. Abreu).
For participation and talks at the Federated Logic Conference (FLoC) in Oxford, and the International Joint Conference on Rules and Reasoning (RuleML+RR) in Luxembourg.
The golden binary tree is awarded by the Institute of Computer Science, University of Würzburg, for good teaching.
At the 5th hackathon of the german railway company I implemented a best-price lookup which can combine splittings of special-price tickets. The browser extension and Prolog backend was built in a day.
I took part in the very first hackathon of Deutsche Bahn, and implemented a routing service that considers historic delay data. The web application was built within only 24 hours and also received the Public Choice Award.
International Conference on Declarative Programming (Declare), 19.—22. September 2017 in Würzburg, Germany
33rd Workshop on (Constraint) Logic Programming (WLP 2019)
2021 — RuleML+RR
2019 — INAP
2018 — ICLP, COMLAN, WFLP
2017 — ICLP, COMLAN, SLATE, INAP, WFLP
2016 — IJA, SLATE, WLP