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 2023 UROP Internship Project Proposals

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

 

Project Description Mentors / Sponsors

SelfAdapt: Self-supervised Domain Adaptation for Sensor Data

Prof. Marc Langheinrich
Dr. Martin Gjoreski

Physio-RECALL: Analysis of human memory and physiological signals

Prof. Marc Langheinrich
Matias Laporte

Media-RECALL: Analysis of human memory and audiovisual signals

Prof. Marc Langheinrich
Matias Laporte

MultiFed: Multimodal Federated Learning for Sensor Data

Prof. Marc Langheinrich
Dr. Martin Gjoreski

XAI-Fed: Explainable AI for Federated Models in Wearable Sensing

Prof. Marc Langheinrich
Dr. Martin Gjoreski

PrivAffect: Privacy-aware personal-video sensing for affect recognition

Prof. Marc Langheinrich
Dr. Martin Gjoreski

Fed-CogLoad: Federated Cognitive Load Estimation

Prof. Marc Langheinrich
Dr. Martin Gjoreski

Expression Tutor Study

Prof. Matthias Hauswirth

Web-Based Compositional Graphics Program Construction Kit

Prof. Matthias Hauswirth

Partially Homomorphic Encryption for Stream Processing Frameworks

Prof. Patrick Eugster
Dr. Savvas Savvides
Shamiek Mangipudi

Programmable Elasticity for Stateful Cloud Applications in Orleans

Prof. Patrick Eugster
Dr. Bo Sang

Programming Language for Reactive Distributed Monitoring

Prof. Patrick Eugster
Dr. Pavel Chuprikov

Cost-based Mechanism Selection for Secure Cloud Computing

Prof. Patrick Eugster
Dr. Pavel Chuprikov
Shamiek Mangipudi

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

Privacy-preserving Stream Processing

Prof. Patrick Eugster
Shamiek Mangipudi

Rust for Kernel-level Distributed Services

Prof. Patrick Eugster
Dr. Pavel Chuprikov
Davide Rovelli

Analysis of Proofs of Unsatisfiability for SMT Solvers

Prof. Patrick Eugster
Rodrigo Otoni

Leveraging Synchrony for Efficient Distributed Services

Prof. Patrick Eugster
Dr. Pavel Chuprikov
Davide Rovelli

Embedding Proofs of Unsatisfiability for SMT Solvers into CHC Solving

Prof. Patrick Eugster
Rodrigo Otoni

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

 
Portable Programmer-agnostic use of Trusted Hardware

Prof. Patrick Eugster
Dr. Pavel Chuprikov

Personalization in Conversational Search

Prof. Fabio Crestani
Ivan Sekulic

DEA - Designing and Educational Agent to Detect and Mitigate Gender Stereotypes in the Classroom

Dr. Monica Landoni

Reinforcement Learning and Neural Radiance Fields for Real-time Ray Tracing

Prof. Piotr Didyk
Jorge Condor

Perceptual Compression of Neural Radiance Fields

Prof. Piotr Didyk
Jorge Condor

Complex Camera Models for Neural Radiance Fields

Prof. Piotr Didyk
Jorge Condor

Progressive Neural Radiance Fields for Robotic Path-Planning

Prof. Piotr Didyk
Jorge Condor

Anisotropic multiresolution analyses for deepfake detection

Prof. Michael Multerer
Dr. Davide Baroli
Wei Huang

Reliability Estimation for Deep Learning Systems under Operational Distribution Shift

Prof. Paolo Tonella

Generating Valid Test Inputs for Deep Learning Systems

Prof. Paolo Tonella
Dr. Matteo Biagiola

Test input prioritisation for DL systems

Prof. Paolo Tonella
Tahereh Zohdinasab

In-depth Performance Analysis of the Java Vector API

Prof. Walter Binder
Dr. Andrea Rosà
Matteo Basso

Understanding Performance Variability of JVM Workloads

Prof. Walter Binder
Dr. Andrea Rosà
Matteo Basso

Analysis and Optimization of the Code Generated by SparkSQL

Prof. Walter Binder
Dr. Filippo Schiavio

Developing an AR/VR application for creating more immersive museum experiences for people with intellectual disabilities

Dr. Monica Landoni
Leandro Guedes

Designing an accessible game for people with intellectual disabilities

Dr. Monica Landoni
Leandro Guedes

Can computational economics predict resilient pathways in the presence of shocks?

Prof. Michael Multerer
Dr. Davide Baroli

GAN for solving fluid flow in aerodynamics problems

Prof. Michael Multerer
Dr. Davide Baroli
Wei Huang

Three-dimensional implementation of a cell-by-cell model for cardiac electrophysiology

Prof. Rolf Krause
Dr. Simone Pezzuto
Dr. Giacomo Rosilho de Sousa

Setting a realistic simulation environment for testing self-driving cars

Prof. Paolo Tonella
Nargiz Humbatova

Towards an Intelligent Post-training Mutation Tool for Deep Learning Systems

Prof. Paolo Tonella
Nargiz Humbatova

Learning microstructural conduction in the heart

Prof. Rolf Krause
Dr. Simone Pezzuto
Dr. Giacomo Rosilho de Sousa

Identification of the Purkinje network via machine learning

Prof. Rolf Krause
Dr. Simone Pezzuto

Shape2PDE, a Parametric PDE Solver from Shapes

Prof. Rolf Krause
Dr. Simone Pezzuto
Dr. Hardik Kothari

Self-monitoring using wearable devices

Prof. Silvia Santini

A situated self-report device for data collection studies

Prof. Silvia Santini

DiverSim: A simulation tool for species evolution

Prof. Ernst-Camiel Wit
Dr. Francisco Richter

 

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 2023 (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)