Stage nella ricerca per studenti Master in visita - programma MaRS

Il programma Masters Research Scholarship (MaRS) offre 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 prendono parte al programma restano all'USI per un periodo che dura 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 l'università di provenienza.
Ogni partecipante riceve CHF 5'000 come contributo alla copertura delle spese di viaggio, e vitto e alloggio per la durata della visita.

Coordina l'iniziativa il Prof. Fernando Pedone.

Il programma MaRS è sponsorizzato dalla Fondazione Hasler.

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

Le candidature vanno inviate entro il 31 gennaio 2024 all'indirizzo [email protected]:

  • curriculum vitae
  • transcript degli studi di Master
  • lettera di supporto di un professore della propria università
  • lettera di motivazione
  • copia del passaporto.

L'esito verrà comunicato entro il 29 febbraio 2023.

Expand All

  • Progetti MaRS 2024

    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
    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-Supervisors: 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 Alchieri
     
    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
     
  • Progetti MaRS passati

    Cliccare qui per i descrittivi dettagliati dei progetti MaRS elencati qui di seguito

     

    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