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.

*********************

Applications must be sent by 31 January 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 29 February 2024.

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 Humbatova
     
    Enhancing Deep Learning Mutations via Weight-specific Fuzzing Prof. Paolo Tonella
    Co-Supervisor: Dr. Jinhan Kim
     
    Test Input Prioritization for Autonomous Driving Systems Prof. Paolo Tonella
    Co-Supervisor: Tahereh Zohdinasab
     
    Fast 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 Chuprikov
     
    Cost-based Mechanism Selection for Secure Cloud Computing Prof. Patrick Eugster
    Co-Supervisor: Dr. Pavel Chuprikov
     
    Language-based Policy Checking for Secure Computing Prof. Patrick Eugster
    Co-Supervisor: Dr. Pavel Chuprikov
     
    Compile-time Verification of Fault-tolerant Distributed Systems Prof. Patrick Eugster
    Co-Supervisor: Dr. Pavel Chuprikov
     
    Portable Programmer-agnostic use of Trusted Hardware Prof. Patrick Eugster
    Co-Supervisor: Dr. Pavel Chuprikov
     
    Unbounded Model Checking for TLA+ Prof. Patrick Eugster
    Co-Supervisor: Rodrigo Otoni
     
    Formal Modeling of Probabilistic Quantum Network Policies Prof. Patrick Eugster
    Co-Supervisor: Anita Buckley, Dr. Pavel Chuprikov
     
    Automatic Feedback for PyTamaro Web Activities Prof. Matthias Hauswirth
    Co-Supervisor: Luca Chiodini
     
    Better Documentation for Python Libraries Prof. Matthias Hauswirth
    Co-Supervisor: Luca Chiodini
     
    Deep Learning of Diversification Processes: Simulation and Inference Across Disciplines Prof. Ernst Wit
    Co-Supervisor: Dr. Francisco Richter Mendoza
     
    XAI-Fed: Explainable AI for Federated Models in Wearable Sensing  Prof. Marc Langheinrich
    Co-Supervisors: Dr. Martin Gjoreski, Daniil Kirilenko
     
    Causal Attention for Concept Embedding Models  Prof. Marc Langheinrich
    Co-Supervisor: Dr. Pietro Barbiero
     
    Out-Of-Distribution Generalization in Concept Bottleneck Models via Latent Active Learning  Prof. Marc Langheinrich
    Co-Supervisor: Dr. Pietro Barbiero
     
    Interpretable Concept-based Semi-factuals Prof. Marc Langheinrich
    Co-Supervisor: Dr. Pietro Barbiero
     
    Tabular deep concept reasoning Prof. Marc Langheinrich
    Co-Supervisor: Dr. Pietro Barbiero
     
    Development of a Spectral-Temporal Transformer for Enhanced Biomedical Signal Analysis Prof. Marc Langheinrich
    Co-Supervisors: Dario Fenoglio, Dr. Martin Gjoreski
     
    Self-Supervised Federated Learning for Sensor Data in The Wild Prof. Marc Langheinrich 
    Co-Supervisors: Dario Fenoglio, Mohan Li
     
    Human Activity Recognition with Multi-modality and Multi-frequency Federated Learning Prof. Marc Langheinrich
    Co-Supervisors: Mohan Li, Dario Fenoglio
     
    An integrated platform for workplace human sensing  Prof. Marc Langheinrich
    Co-Supervisors: Mohan Li, Dr. Pietro Barbiero
     
    Personalization for stress and mood recognition in diverse user group Prof. Silvia Santini
    Co-Supervisor: Lidia Alecci 
     
    Protect privacy in wearable devices using data anonymization Prof. Silvia Santini
    Co-Supervisor: Lidia Alecci 
     
    A Novel Approach Using Bilateral Data Fusion for EDA Data Classification Prof. Silvia Santini
    Co-Supervisor: Leonardo Alchieri
     
    Uncertainty-aware Deep Learning in digital healthcare Prof. Silvia Santini
    Co-Supervisor: Leonardo Alcheri
     
    Empathetic Virtual Agents using Large Language Models Prof: Silvia Santini 
    Co-Supervisor: Nouran Abdalazim
     
    Embodied 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