Automated Verification of Blockchain Technologies with Correctness Guarantees
Informatics and computational thinking, cross-skills in school
XXVIII Dies academicus
Eventi correnti
SI Seminar by Bin Lin
A Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed Programming
Concorso nazionale Scienza e gioventù
Donne in viaggio in tempo di guerra - inaugurazione della mostra dedicata ad 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"
BiblioWeekend - conferenza con Paulo Gonçalves e premiazione concorso "Volere la luna"
Bachelor Info Day, Campus Lugano
Creating a Domain Specific Language in Kotlin Using Type-Safe Builders
Compressed empirical measures
International Women's Day Hackathon 2022
5 Years of Research: Lessons Learned
2 Data Science cases studies on the COVID-19 pandemic
Multilevel optimization algorithm for Inverse Problem in Electrocardiography
Online Master Info Week
Automated Vulnerability Research for Smart Embedded Devices