Stage estivi nella ricerca per studenti - UROP Internship

La Facoltà di scienze informatiche incoraggia e promuove il talento dei propri studenti di Bachelor e Master offrendo loro anche l'opportunità di stage estivi (summer internship) nell'ambito della ricerca accademica, all'interno di un programma denominato Undergraduate Research Opportunities Program - UROP.

Gli stage sono extracurriculari e l'accesso è su base competitiva. Gli studenti lavorano a stretto contatto con un professore con l'obiettivo di sviluppare un'approfondita conoscenza sia dei concetti appresi nel corso del semestre sia del tema di ricerca. È un'ottima occasione di crescita, soprattutto per gli studenti che pensano di intraprendere una carriera come ricercatori.

Le opportunità di ricerca per quest'anno sono elencate di seguito (le informazioni sono disponibili solo in lingua inglese).

Summer 2024 UROP Internship Project Proposals

Click here for the detailed descriptions of the UROP internship projects listed below.

 

Project Description Mentors / Sponsors

Interpretable Concept-based Semi-factuals

Prof. Marc Langheinrich, Dr. Pietro Barbiero, Gabriele Dominici

Tabular deep concept reasoning

Prof. Marc Langheinrich, Dr. Pietro Barbiero

Development of a Spectral-Temporal Transformer for Enhanced Biomedical Signal Analysis

Prof. Marc Langheinrich, Dr. Martin Gjoreski, Dario Fenoglio

Human Activity Recognition with Multi-modality and Multi-frequency Federated Learning

Prof. Marc Langheinrich, Mohan Li, Dario Fenoglio

Counterfactual Explanations in Multi-Task Federated Learning

Prof. Marc Langheinrich, Daniil Kirilenko, Dario Fenoglio

Diverse Counterfactual Explanations with Diffusion Prior

Prof. Marc Langheinrich, Daniil Kirilenkoi

Federated Counterfactual Generator for Wearable Technologies

Prof. Marc Langheinrich, Dario Fenoglio, Gabriele Dominici

Student XAI – Explaining ML models for improving student wellbeing and performance

Prof. Marc Langheinrich, Dr. Martin Gjoreski, Matias Laporte

Engineering project in the context of mining software repositories

Prof. Gabriele Bavota, Ozren Dabic

Making Cinematic Heritage Accessible: use of LLM in UI for the Locarno Film Festival

Prof. Fabio Crestani, Alessandro Cosentino

Network Extraction for Company Registrations

Dr. Marco D’Ambros, Dr. Andrea Mocci, Jesper Findahl

‘Baba is You’ Solver

Prof. Carlo A. Furia, Dr. Marco D’Ambros, Dr. Andrea Mocci

Platformer DSL & Analysis (Super Mario Maker Parser)

Prof. Carlo A. Furia, Dr. Marco D’Ambros, Dr. Andrea Mocci

Enhancing SQL-to-Java Stream API Conversion through better query planning and Stream Gatherers

Prof. Walter Binder, Dr. Filippo Schiavio

Vibrimage: Imaging using the vibration motor

Dr. Diego Ulisse Pizzagalli

MAD – Moral Advisor Design to Prompt Reflection on Gender

Dr. Monica Landoni, Irene Zanardi

Uncertainty-aware Deep Learning in Digital Healthcare

Prof. Silvia Santini

Affection-aware Conversational Agents Using Large Language Models

Prof. Silvia Santini

I Know what You Forgot in the Last Lecture

Prof. Silvia Santini

Exploring the Impact of Lateralization on Wearable EDA Devices: A Novel Ap- proach Using Bilateral Data Fusion

Prof. Silvia Santini

Enhancing Deep Learning Mutations via Weight-specific Fuzzing

Prof. Paolo Tonella, Dr. Jinhan Kim

Neuron Importance-driven Post-training Mutation Tool for Deep Learning Systems

Prof. Paolo Tonella, Nargiz Humbatova

 
Spectral Analysis of Neural Activation Values on Failure-Inducing Inputs

Prof. Paolo Tonella, Nargiz Humbatova

Assessing Flakiness of End-to-End Web Test Suites

Prof. Paolo Tonella, Dr. Matteo Biagiola

Programming Language for Reactive Distributed Monitoring

Prof. Patrick Eugster, Dr. Pavel Chuprikov

Language-based Policy Checking for Secure Computing

Prof. Patrick Eugster, Dr. Pavel Chuprikov, Shamiek Mangipudi

Compile-time Verification of Fault-tolerant Distributed Systems

Prof. Patrick Eugster, Dr. Pavel Chuprikov

Confidentiality-preserving Stream Processing

Prof. Patrick Eugster, Shamiek Mangipudi

Rust for Kernel-level Distributed Services

Prof. Patrick Eugster, Dr. Pavel Chuprikov, Davide Rovelli

Leveraging Synchrony for Efficient Distributed Services

Prof. Patrick Eugster, Dr. Pavel Chuprikov, Davide Rovelli

Validation of Quantum Policies with NetSquid

Prof. Patrick Eugster, Dr. Pavel Chuprikov, Anita Buckley

Formal Modeling of Probabilistic Quantum Network Policies

Prof. Patrick Eugster, Dr. Pavel Chuprikov, Anita Buckley

SAT-based techniques for Approximate Circuit Design

Prof. Laura Pozzi

In general, if you are interested in working in a specific research group, even one not mentioned above, please contact the corresponding professor directly.

 

Eligibility and Application Deadline

  • USI Informatics Bachelor or Master student
  • Directly contact a project's mentor BEFORE applying (see names above)
  • Application deadline: 25 February 2024 (by the deadline you should already agree with the project's mentor) - to apply please send an email with your favorite projects to [email protected]

 

Acceptance and Funding

  • Funded by the Faculty of Informatics
  • Only a limited number of grants available
  • Acceptance is competitive
  • Decision is taken by the Dean

 

Duration and Dates of Internship

  • Roughly 2 months
  • Start after exam period (~ July 1st)
  • End before recovery exam period (~ August 31)