Explore projects

Project by Oscar Alexander Kirschstein Schäfer

Project start: 12/2022 Supervised by Michael Behrisch and Yuncong Yu

Generation base dependency

An automated unit testing tool for Java classes.

Service that takes incoming query requests, performs them on the database and then publishes the result.

This service routes incoming query requests to query executor services with the required query language and database code running. It also allows for the retrieval of cached query results, which can be requested from the frontend. In the future we envision this service as a more advanced load balancer, as RabbitMQ only has round robin load balancing, which does not work if requests take arbitrary amounts of time.

The client updater service maintains a websocket connection with the frontend application and pushes ui updates through it.

Python package for legal case based reasoning based on a fortiori reasoning

Service that tests the connection to a users database. Called from the frontend before a user can add the database to prevent adding a database with invalid credentials.

2022 BSC project, Informing Sustainability Policymaking with Knowledge Graphs; Project done by Charles Klijnman , Supervised by Michael Behrisch