Research internships for visiting Master students - MaRS programme
The Masters Research Scholarship (MaRS) programme provides short-term scholarships to support visiting Masters students to work on research projects within the Faculty of Informatics.
Participating students visit USI for up to one semester to work on a research project under the guidance of an USI Faculty member, with the objective of applying the work towards a Master's thesis at the student's home university.
Each scholarship recipient will receive CHF 5'000 to help cover travel and living expenses for the visiting student for the duration of their stay.
The coordinator is Prof. Fernando Pedone.
The MaRS programme is sponsored by the Hasler Foundation.
*********************
Projects for 2025 (final edition) will be made available November 2024.
Applications must be sent by 31 December 2024 to [email protected]:
- CV
- transcript of grades (Master)
- support letter by a professor of the home university
- motivation letter
- passport scan.
Results will be communicated by 31 January 2025.
Expand All
-
MaRS Projects 2024
Click here for the detailed descriptions of the MaRS projects listed below
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
Co-Supervisor: Dr. Nargiz HumbatovaEnhancing Deep Learning Mutations via Weight-specific Fuzzing Prof. Paolo Tonella
Co-Supervisor: Dr. Jinhan KimTest Input Prioritization for Autonomous Driving Systems Prof. Paolo Tonella
Co-Supervisor: Tahereh ZohdinasabFast updates of the Constraint Delaunay Triangulation and other tree Voronoi structures Prof. Evanthia Papadopoulou Partially Homomorphic Encryption for Stream Processing Frameworks Prof. Patrick Eugster
Co-Supervisor: Dr. Pavel ChuprikovCost-based Mechanism Selection for Secure Cloud Computing Prof. Patrick Eugster
Co-Supervisor: Dr. Pavel ChuprikovLanguage-based Policy Checking for Secure Computing Prof. Patrick Eugster
Co-Supervisor: Dr. Pavel ChuprikovCompile-time Verification of Fault-tolerant Distributed Systems Prof. Patrick Eugster
Co-Supervisor: Dr. Pavel ChuprikovPortable Programmer-agnostic use of Trusted Hardware Prof. Patrick Eugster
Co-Supervisor: Dr. Pavel ChuprikovUnbounded Model Checking for TLA+ Prof. Patrick Eugster
Co-Supervisor: Rodrigo OtoniFormal Modeling of Probabilistic Quantum Network Policies Prof. Patrick Eugster
Co-Supervisor: Anita Buckley, Dr. Pavel ChuprikovAutomatic Feedback for PyTamaro Web Activities Prof. Matthias Hauswirth
Co-Supervisor: Luca ChiodiniBetter Documentation for Python Libraries Prof. Matthias Hauswirth
Co-Supervisor: Luca ChiodiniDeep Learning of Diversification Processes: Simulation and Inference Across Disciplines Prof. Ernst Wit
Co-Supervisor: Dr. Francisco Richter MendozaXAI-Fed: Explainable AI for Federated Models in Wearable Sensing Prof. Marc Langheinrich
Co-Supervisors: Dr. Martin Gjoreski, Daniil KirilenkoCausal Attention for Concept Embedding Models Prof. Marc Langheinrich
Co-Supervisor: Dr. Pietro BarbieroOut-Of-Distribution Generalization in Concept Bottleneck Models via Latent Active Learning Prof. Marc Langheinrich
Co-Supervisor: Dr. Pietro BarbieroInterpretable Concept-based Semi-factuals Prof. Marc Langheinrich
Co-Supervisor: Dr. Pietro BarbieroTabular deep concept reasoning Prof. Marc Langheinrich
Co-Supervisor: Dr. Pietro BarbieroDevelopment of a Spectral-Temporal Transformer for Enhanced Biomedical Signal Analysis Prof. Marc Langheinrich
Co-Supervisors: Dario Fenoglio, Dr. Martin GjoreskiSelf-Supervised Federated Learning for Sensor Data in The Wild Prof. Marc Langheinrich
Co-Supervisors: Dario Fenoglio, Mohan LiHuman Activity Recognition with Multi-modality and Multi-frequency Federated Learning Prof. Marc Langheinrich
Co-Supervisors: Mohan Li, Dario FenoglioAn integrated platform for workplace human sensing Prof. Marc Langheinrich
Co-Supervisors: Mohan Li, Dr. Pietro BarbieroPersonalization for stress and mood recognition in diverse user group Prof. Silvia Santini
Co-Supervisor: Lidia AlecciProtect privacy in wearable devices using data anonymization Prof. Silvia Santini
Co-Supervisor: Lidia AlecciA Novel Approach Using Bilateral Data Fusion for EDA Data Classification Prof. Silvia Santini
Co-Supervisor: Leonardo AlchieriUncertainty-aware Deep Learning in digital healthcare Prof. Silvia Santini
Co-Supervisor: Leonardo AlcheriEmpathetic Virtual Agents using Large Language Models Prof: Silvia Santini
Co-Supervisor: Nouran AbdalazimEmbodied Large Language Models for Personalized Meeting Summarization Prof: Silvia Santini
Co-Supervisor: Nouran Abdalazim -
MaRS past projects
Click here for the detailed descriptions of the MaRS projects listed below
Progetto Contatto 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
