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 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-Supervisors: 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 AlchieriEmpathetic 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 -
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