Visualization of selected tree data structures (expected 2027)

The aim of the thesis is to create an interactive educational tool that will visually illustrate the operations of insertion, deletion, and search for selected tree structures. The selected structures will include, in particular, B-trees, B+-trees, B*-trees, B^ε-trees, LSM-trees (and possibly other structures as instructed by the supervisor). In the theoretical part of the thesis, the selected structures and their operations will be described, including their computational and input/output complexity.

Declarative user interface (2024)

This thesis explores the possibility of using logic programming for declarative user interface creation. The proposed system allows for declarative specification of the purpose and required capabilities of the user interface without the knowledge of the target platform or technologies. The work includes a description of an implementation of the system in Common Lisp, its user documentation, an evaluation of the solution and suggestions for possible extensions and modifications.