Per Status
18
available theses
- RV4Test: exploiting Runtime Verification as a Tool for Software Testing in Distributed Applications (2nd cycle)
- Design and prototype generative-AI-based mechanisms to support immagination in BDI agents (2nd cycle)
- Grouding ALTAI/EGTAI guidelines towards practical Q/A workflows (2nd cycle)
- Design and prototype a middleware for multi-agent interaction in JaKtA (2nd cycle)
- Bias (in AI systems) mitigation algorithm design and development (2nd cycle)
- Design and prototipation of a library for bias detection and mitigation in Python (2nd cycle)
- Bias (in AI systems) detection algorithm design and development (2nd cycle)
- Design and prototipation of a general-purpose software application for interactive Q/A and data collection (2nd cycle)
- Design of a shared Web API for generative-AI chatbots, supporting caching of requests and responses (1st cycle)
- Design and prototype a solution for distributed volume sharing and backing up on Docker (2nd cycle)
- Integrate JaKtA with Alchemist, in order to simulate BDI agents (2nd cycle)
- Intersectionality in fair AI systems (2nd cycle)
- Symbolic Transfer Learning (2nd cycle)
- Fairness Techniques Analysis (2nd cycle)
- Large Language Model-based Systems (2nd cycle)
- Symbolic Knowledge Extraction Algorithms Analysis (2nd cycle)
- Make JaKtA multi-platform (1st cycle)
- Design and prototipation of a unified Python API for ML frameworks (2nd cycle)