'Program Your Own Castle' - Developing a Self-Guided Tutorial for the Hour of Code
Automating Non-Formalized Testing Techniques via Quantification and Optimisation: The Case of Boundary Value Testing
Automated Verification of Blockchain Technologies with Correctness Guarantees
Informatics and computational thinking, cross-skills in school
Geometric Assignment and Geometric Bottleneck
XXVIII Dies academicus
Current events
SI Seminar by Bin Lin
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"
BiblioWeekend - conference with Paulo Gonçalves and award ceremony of the "Reaching for the moon" context
Bachelor Info Day, Lugano Campus
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