Per Role
23
theses
/
supervisor
/
Giovanni Ciatto
- RV4Test: exploiting Runtime Verification as a Tool for Software Testing in Distributed Applications (2nd cycle)
- Bias (in AI systems) detection algorithm design and development (2nd cycle)
- Design and prototype generative-AI-based mechanisms to support immagination in BDI agents (2nd cycle)
- Design of a shared Web API for generative-AI chatbots, supporting caching of requests and responses (1st cycle)
- Grouding ALTAI/EGTAI guidelines towards practical Q/A workflows (2nd cycle)
- Integrate JaKtA with Alchemist, in order to simulate BDI agents (2nd cycle)
- Make JaKtA multi-platform (1st 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)
- Design and prototipation of a general-purpose software application for interactive Q/A and data collection (2nd cycle)
- Design and prototype a solution for distributed volume sharing and backing up on Docker (2nd cycle)
- Design and prototipation of a unified Python API for ML frameworks (2nd cycle)
- Addressing Fairness in AI Systems: Design and Development of a Pragmatic (Meta-)Methodology (2nd cycle) — Mattia Matteini
- Leveraging AI for Enhanced Decision-Making in Humanitarian and NGOs sectors across Europe, Africa, and Latin America: A Case Study of Propel (2nd cycle) — Barnia Bouikila
- Decision-Making in Complex Systems Through Simulation Modeling: a Vaccine Supply Chain Case Study (2nd cycle) — Mattia Broglia
- Innovating HR Systems: The Digital Transformation of Trevi Group (2nd cycle) — Santiago Trivelloni
- Overview, study, and comparison of open source automation tools: Ansible, Salt, Chef, Puppe (2nd cycle) — Alberto Donati
- Fair-by-Design Workflow for Unbiased AI Development and Equitable Outcomes (2nd cycle) — Antonio Iannotta
- An Abductive Platform for Salient Neurons Identification (2nd cycle) — Christian D'Errico
- Bridging Logic Programming with platform-independent distributed services (2nd cycle) — Lorenzo Osimani
- JACOP: Programming BDI Agents with Pluggable Concurrency Model (2nd cycle) — Martina Baiardi
- Model-Based Contrastive Explanations for XAIP: Towards a General Model and Prototype (2nd cycle) — Giulia Brugnatti
0000-0002-1841-8996