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 March 2023 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 18 April 2023.

Expand All

  • MaRS Projects 2023

    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  
    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
    Co-Supervisor: Nargiz Humbatova
     
    Towards an Intelligent Post-training Mutation Tool for Deep Learning Systems Prof Paolo Tonella
    Co-Supervisor: Nargiz Humbatova
     
    Generating Valid Test Inputs for Deep Learning Systems Prof. Paolo Tonella
    Co-Supervisor: Matteo Biagiola
     
    Test input prioritisation for DL systems Prof. Paolo Tonella
    Co-Supervisor: Tahereh Zohdinasab
     
    Perceptually-inspired techniques for novel displays and 3D printing Prof. Piotr Didyk  
    Partially Homomorphic Encryption for Stream Processing Frameworks Prof. Patrick Eugster
    Co-Supervisor: Pavel Chuprikov
     
    Programming Language for Reactive Distributed Monitoring Prof. Patrick Eugster
    Co-Supervisor: Pavel Chuprikov
     
    Cost-based Mechanism Selection for Secure Cloud Computing Prof. Patrick Eugster
    Co-Supervisor: Pavel Chuprikov
     
    Language-based Policy Checking for Secure Computing Prof. Patrick Eugster
    Co-Supervisor: Pavel Chuprikov
     
    Compile-time Verification of Fault-tolerant Distributed Systems Prof. Patrick Eugster
    Co-Supervisor: Pavel Chuprikov
     
    Portable Programmer-agnostic use of Trusted Hardware Prof. Patrick Eugster
    Co-Supervisor: Pavel Chuprikov
     
    Rust for Kernel-level Distributed Services Prof. Patrick Eugster
    Co-Supervisors: Davide Rovelli, Pavel Chuprikov
     
    Analysis of Proofs of Unsatisfiability for SMT Solvers Prof. Patrick Eugster
    Co-Supervisor: Rodrigo Otoni
     
    Embedding Proofs of Unsatisfiability for SMT Solvers into CHC Solving Prof. Patrick Eugster
    Co-Supervisor: Rodrigo Otoni
     
    Formal Modeling of Probabilistic Quantum Network Policies Prof. Patrick Eugster
    Co-Supervisors: Anita Buckley, Pavel Chuprikov
     
    SelfAdapt: Self-supervised Domain Adaptation for Sensor Data Prof. Marc Langheinrich
    Co-Supervisor: Dr. Martin Gjoreski
     
    Physio-RECALL: Analysis of human memory and physiological signals Prof. Marc Langheinrich
    Co-Supervisor: Matias Laporte
     
    Media-RECALL: Analysis of human memory and audiovisual signals Prof. Marc Langheinrich
    Co-Supervisor: Matias Laporte
     
    MultiFed: Multimodal Federated Learning for Sensor Data Prof. Marc Langheinrich
    Co-Supervisor: Dr. Martin Gjoreski
     
    XAI-Fed: Explainable AI for Federated Models in Wearable Sensing Prof. Marc Langheinrich
    Co-Supervisor: Dr. Martin Gjoreski
     
    PrivAffect: Privacy-aware personal-video sensing for affect recognition Prof. Marc Langheinrich
    Co-Supervisor: Dr. Martin Gjoreski
     
    Fed-CogLoad: Federated Cognitive Load Estimation Prof. Marc Langheinrich
    Co-Supervisor: Dr. Martin Gjoreski
     
    Evaluating Optimization Software as a Service with Application in Biomedical Simulations  Prof. Olaf Schenk   
    User identification in real-world settings using wearables Prof. Silvia Santini
    Co-Supervisors: Lidia Alecci, Leonardo AlchieriNouran Abdalazim
     
    EDA Lateralization during Sleep Prof. Silvia Santini
    Co-Supervisors: Lidia Alecci, Leonardo AlchieriNouran Abdalazim
     
    Personalized Sleep Quality Prediction Model Using Wearable Devices Prof. Silvia Santini
    Co-Supervisors: Lidia Alecci, Leonardo Alchieri, Nouran Abdalazim
     
  • MaRS past projects

    Click here for the detailed descriptions of the MaRS projects listed below

     

    Progetto Contatto  
    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