Neuro-Symbolic AI for Developing, Testing and Consuming Web APIs: An AMBIZIONE Project Proposal
Quo vadis education in the era of automation
Hazard Detection for Robotic Applications as Visual Anomaly Detection
XXVIII Dies academicus
CTL* Verification and Synthesis using Existential Horn Clauses
Business Ideas 2024
Exploring the Usage of Pre-trained Models for Code-Related Tasks
Bachelor Info Day, get to know USI in half a day
Current events
A Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed Programming
Swiss Youth in Science National Contest
Women on the move in time of war - opening of the exhibition dedicated to Annemarie Schwarzenbach
Optimal Methodology for the Quantification of Binding Constants from Spectrophotometric Titration Data
Automatic Generation of Test Oracles from Natural Language Specifications
Neural Software Analysis: Learning Developer Tools from Code
Uncertainty-Wizard: Fast and User-Friendly Neural Network Uncertainty Quantification
On automatically generating source code
Proiezione del docu-film "Dove bisogna stare"
Bachelor Info Day, Lugano Campus
BiblioWeekend - conference with Paulo Gonçalves and award ceremony of the "Reaching for the moon" context
Creating a Domain Specific Language in Kotlin Using Type-Safe Builders
Compressed empirical measures
International Women's Day Hackathon 2022
Multilevel optimization algorithm for Inverse Problem in Electrocardiography
5 Years of Research: Lessons Learned
2 Data Science cases studies on the COVID-19 pandemic
Online Master Info Week
Automated Vulnerability Research for Smart Embedded Devices
Testing and Evaluation of Autonomous Driving Systems: From Simulated to Real-world Test Environments