Stage nella ricerca per studenti Master in visita - programma MaRS (2016-2025)
Dal 2016 al 2025 il programma Masters Research Scholarship (MaRS) ha offerto borse di studio per soggiorni di breve durata a studentesse e studenti Master, interessate/i a un periodo come visiting student presso la Facoltà di scienze informatiche, durante il quale lavorare su progetti di ricerca in corso presso la Facoltà.
Le studentesse e gli studenti che hanno preso parte al programma sono stati all'USI per un periodo fino a un semestre, contribuendo a un progetto di ricerca sotto la guida delle professoresse e dei professori della Facoltà, con l'obiettivo di capitalizzare l'esperienza fatta nel proprio lavoro di tesi presso la propria università di provenienza.
Ogni partecipante ha ricevuto CHF 5'000 come contributo alla copertura delle spese di viaggio, e vitto e alloggio per la durata della visita.
Hanno coordinato l'iniziativa il Prof. Fernando Pedone, il Prof. Patrick Eugster e il Prof. Robert Soulé.
Il programma MaRS è stato sponsorizzato dalla Fondazione Hasler.
Expand All
-
Progetti MaRS 2025
Cliccare qui per i descrittivi dettagliati dei progetti MaRS elencati qui di seguito
Progetto Contatto Scalable State Machine Replication Prof. Fernando Pedone Blockchain, blockchain, blockchain Prof. Fernando Pedone Towards Higher Order Mutation Testing for Deep Learning Systems Prof. Paolo Tonella
Co-Supervisor: Dr Nargiz HumbatovaDelaunay-like Graphs and the Constraint Delaunay Triangulation Prof. Evanthia Papadopoulou Platform for Learning Software Engineering Prof. Matthias Hauswirth Automated Assessment for Graphics-Based Programming Activities Prof. Matthias Hauswirth Interactive Educational Game-Development Environment Prof. Matthias Hauswirth Effect of Reflection Prompts on Learning in an Online Platform Prof. Matthias Hauswirth Collector’s Drive and Intrinsic Motivation in Programming Tutorials Prof. Matthias Hauswirth Enhancing Privacy and Transparency in Federated Learning: Counterfactual Explainability for Healthcare Applications Prof. Marc Langheinrich
Co-Supervisor: Dario Fenoglio, Gabriele DominiciSelf-Supervised Learning for Smart Glasses Data Prof. Marc Langheinrich
Co-Supervisor: Dr. Martin Gjoreski, Francesco Bombassei Da BonaPrivacy-Preserving Counterfactual Explainability in Federated Learning for Employee Well-being Prof. Marc Langheinrich
Co-Supervisor: Mohan Li, Daniil KirilenkoEfficient rendering for VR and AR devices
Prof. Piotr Didyk Simulations of Dynamic Social Networks
Prof. Ernst-Jan Camiel Wit Implementing causal relational event models
Prof. Ernst-Jan Camiel Wit -
Progetti MaRS passati
Cliccare qui per i descrittivi dettagliati dei progetti MaRS elencati qui di seguito
Progetto Contatto Scalable State Machine Replication Prof. Fernando Pedone Blockchain, blockchain, blockchain Prof. Fernando Pedone Towards Efficient Dataset Reduction to Reduce the Costs of Mutation Testing for Deep Learning Systems Prof. Paolo Tonella Enhancing Deep Learning Mutations via Weight-specific Fuzzing Prof. Paolo Tonella Test Input Prioritization for Autonomous Driving Systems Prof. Paolo Tonella Fast updates of the Constraint Delaunay Triangulation and other tree Voronoi structures Prof. Evanthia Papadopolou Partially Homomorphic Encryption for Stream Processing Frameworks Prof. Patrick Eugster Cost-based Mechanism Selection for Secure Cloud Computing Prof. Patrick Eugster Language-based Policy Checking for Secure Computing Prof. Patrick Eugster Compile-time Verification of Fault-tolerant Distributed Systems Prof. Patrick Eugster Portable Programmer-agnostic use of Trusted Hardware Prof. Patrick Eugster Unbounded Model Checking for TLA+ Prof. Patrick Eugster Formal Modeling of Probabilistic Quantum Network Policies Prof. Patrick Eugster Automatic Feedback for PyTamaro Web Activities Prof. Matthias Hauswirth Better Documentation for Python Libraries Prof. Matthias Hauswirth Deep Learning of Diversification Processes: Simulation and Inference Across Disciplines Prof. Ernst Wit Jan Camiel XAI-Fed: Explainable AI for Federated Models in Wearable Sensing Prof. Marc Langheinrich Causal Attention for Concept Embedding Models Prof. Marc Langheinrich Out-Of-Distribution Generalization in Concept Bottleneck Models via Latent Active Learning Prof. Marc Langheinrich Interpretable Concept-based Semi-factuals Prof. Marc Langheinrich Tabular deep concept reasoning Prof. Marc Langheinrich Development of a Spectral-Temporal Transformer for Enhanced Biomedical Signal Analysis Prof. Marc Langheinrich Self-Supervised Federated Learning for Sensor Data in The Wild Prof. Marc Langheinrich Human Activity Recognition with Multi-modality and Multi-frequency Federated Learning Prof. Marc Langheinrich An integrated platform for workplace human sensing Prof. Marc Langheinrich Personalization for stress and mood recognition in diverse user group Prof. Silvia Santini Protect privacy in wearable devices using data anonymization Prof. Silvia Santini A Novel Approach Using Bilateral Data Fusion for EDA Data Classification Prof. Silvia Santini Uncertainty-aware Deep Learning in digital healthcare Prof. Silvia Santini Empathetic Virtual Agents using Large Language Models Prof. Silvia Santini Embodied Large Language Models for Personalized Meeting Summarization Prof. Silvia Santini Conceptual Understanding and Problem Solving in Learning to Program Prof. Matthias Hauswirth Fast constraint Delaunay Triangulation updates and related algorithms Prof. Evanthia Papadopoulou Setting a realistic simulation environment for testing self-driving cars Prof. Paolo Tonella Towards an Intelligent Post-training Mutation Tool for Deep Learning Systems Prof. Paolo Tonella Generating Valid Test Inputs for Deep Learning Systems Prof. Paolo Tonella Test input prioritisation for DL systems Prof. Paolo Tonella Perceptually-inspired techniques for novel displays and 3D printing Prof. Piotr Didyk Programming Language for Reactive Distributed Monitoring Prof. Patrick Eugster Rust for Kernel-level Distributed Services Prof. Patrick Eugster Analysis of Proofs of Unsatisfiability for SMT Solvers Prof. Patrick Eugster Embedding Proofs of Unsatisfiability for SMT Solvers inro CHC Solving Prof. Patrick Eugster Formal Modeling of Probabilistic Quantum Network Policies Prof. Patrick Eugster SelfAdapt: Self-supervised Domain Adaptation for Sensor Data Prof. Marc Langheinrich Physio-RECALL: Analysis of human memory and physiological signals Prof. Marc Langheinrich Media-RECALL: Analysis of human memory and audiovisual signals Prof. Marc Langheinrich MultiFed: Multimodal Federated Learning for Sensor Data Prof. Marc Langheinrich XAI-Fed: Explainable AI for Federated Models in Wearable Sensing Prof. Marc Langheinrich PrivAffect: Privacy-aware personal-video sensing for affect recognition Prof. Marc Langheinrich Fed-CogLoad: Federated Cognitive Load Estimation Prof. Marc Langheinrich Evaluating Optimization Software as a Service with Application in Biomedical Simulations Prof. Olaf Schenk User identification in real-word settings using wearables Prof. Silvia Santini EDA Lateralization during Sleep Prof. Silvia Santini Personalized Sleep Quality Prediction Model Using Wearable Devices Prof. Silvia Santini A tangible interface for controlling capture and sharing of personal data (RECALL.A) Prof. Marc Langheinrich API metrics and pattern visualization Prof. Cesare Pautasso Application of machine learning in energy market analysis Prof. Olaf Schenk Approximating order-k Voronoi diagrams using clusters of sampled points Prof. Evanthia Papadopoulou ASQ Prof. Cesare Pautasso Automated Program Analyses of Student Programs Prof. Matthias Hauswirth Blockchain, blockchain, blockchain Prof. Fernando Pedone Collaborative Economy Practices and Communities in Switzerland – A Case Study Prof. Marc Langheinrich Compile-time Verification of Fault-tolerant Distributed Systems Prof. Patrick Eugster Computational Display and Fabrication Prof. Piotr Didyk Converting complex polygons into simple polygons Prof. Kai Hormann Cost-based Mechanism Selection for Secure Cloud Computing Prof. Patrick Eugster Design and Evaluation of a Smartphone App to Support Sharing Physical Objects (SHA21.C) Prof. Marc Langheinrich Educational Technology for Learning to Program Prof. Matthias Hauswirth EEG-RECALL: Analysis of the influence of distractions on human memory EEG Signals and distraction Prof. Marc Langheinrich End-to-end security based on heterogeneous mechanisms Prof. Patrick Eugster Evaluating a Human Memory Augmentation App (RECALL.C) Prof. Marc Langheinrich Evaluating Secure Personal Memory Sharing with Co-Located People (RECALL.B) Prof. Marc Langheinrich Fed-CogLoad: Federated Cognitive Load Estimation Prof. Marc Langheinrich Federated Clustering Prof. Marc Langheinrich Formal Analysis of Smart Contracts Prof. Natasha Sharygina Geometric properties of indirect Pythagorean hodograph curves Prof. Kai Hormann Highly parallelizable public blockchains Prof. Patrick Eugster Investigating the dichotomy of sharing practices in virtual and physical realms: from theoretical overview to design considerations (SHA21.A) Prof. Marc Langheinrich Just Share It: A Decentralized Autonomous System to Support Sharing Physical Objects Using Blockchain and Smart Contracting Prof. Marc Langheinrich Model-predictive control in power systems with renewables Prof. Olaf Schenk Neural Style Transfer-based Testing of Autonomous Driving Systems Prof. Paolo Tonella On the farthest-segment Voronoi diagram: predicates and robust computation Prof. Evanthia Papadopoulou Online data-center modeling Prof. Robert Soulé Physio-RECALL: Analysis of human memory and physiological signals Prof. Marc Langheinrich Prioritising Test Inputs for Deep Learning Systems via Mutation Analysis Prof. Paolo Tonella PrivAffect: Privacy-aware personal-video sensing for affect recognition Prof. Marc Langheinrich Production optimization through water-front control using adjoint gradient-based techniques Prof. Olaf Schenk Qualitative Analysis of Programming Interview Videos Prof. Matthias Hauswirth Query optimization for graph databases Prof. Robert Soulé RESTful conversation mining Prof. Cesare Pautasso SAT-based techniques for Approximate Circuit Design Prof. Laura Pozzi Scalable State Machine Replication Prof. Fernando Pedone Smart Group Activity Journal – Creating an Automated Activity Feed for Outdoor Sports (SHA21.D) Prof. Marc Langheinrich Supervised vs reinforcement learning for the training of the driving agent of a self driving car operating in a real and in a simulated environment Prof. Paolo Tonella Testing Deep Learning Systems with Generative Models Prof. Paolo Tonella The medial axis of a simple polygon in linear time Prof. Evanthia Papadopoulou Towards an Intelligent Post-training Mutation Tool for Deep Learning Systems Prof. Paolo Tonella Understanding End-user Attitudes towards Location Sharing Services Prof. Marc Langheinrich Understanding Practices and Motivations for Sharing Physical Resources through Digital Services (SHA21.B) Prof. Marc Langheinrich