'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
Making for All: including people with disabilities
Experimental relativistic zero-knowledge proofs
Elucidating the Trodusquemine Action Against Neurodegenerative Disorders by Molecular Modelling Techniques
Security in machine learning: a cryptographer's perspective
Efficient and scalable solution techniques for small data learning problems
Causal reasoning for software quality engineering
Optics and Machine Learning, a seminar by Professor Demetri Psaltis
Multi-fidelity modeling of atrial fibrillation
Session-based Recommendation and Reinforcement Learning
Parallel Ultra Low Power - PULP 2023
Farewell Day Swiss TecLadies
Self-Supervised Neural Topic Modeling
Semantic Matching for Migrating Tests Across Similar Interactive Applications
Spring Semester Project Presentations
Automated Support for Improving Software Quality of Mobile Apps Before and After Release
Latent drivers for dynamic networks
Contribution-based Firing of Developers?
Programming and verification frameworks for differential privacy
Fast Weight Programmers for Greater Systematic Generalisation in Language
On the Understandability of Security Tactics for Microservice APIs