Events
10
October
2024
10.
10.
2024
11
October
2024
11.
10.
2024
14
October
2024
14.
10.
2024
25
October
2024
25.
10.
2024
31
October
2024
31.
10.
2024

Archive - research summer internships for students of the Faculty of Informatics

This page contains all summer internships in research offered over the past years to students of the Faculty of Informatics (in English only).

Expand All

  • INF - 2023 projects

    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

    Prof. 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 Schiavo

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

    Prof. Monica Landoni, Leandro Guedes

    Designing an accessible game for people with intellectual disabilities

    Prof. 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 Souza

    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 Souza

    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 Mendoza
  • 2022 projects

    Summer 2022 UROP Internship Project Proposals

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

     

    Project Description Mentors / Sponsors

    SAT-based techniques for Approximate Circuit Design

    Prof. Laura Pozzi

    Analyzing Runtime Variations of JVM Workloads across Multiple Executions

    Prof. Walter Binder
    Dr. Andrea Rosà

    EEG-RECALL: Analysis of the influence of distractions on human memory EEG Signals and distraction

    Prof. Marc Langheinrich
    Matias Laporte, Martin Gjoreski

    Physio-RECALL: Analysis of human memory and physiological signals

    Prof. Marc Langheinrich
    Matias Laporte, Martin Gjoreski

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

    Prof. Marc Langheinrich
    Martin Gjoreski, Matias Laporte

    Fed-CogLoad: Federated Cognitive Load Estimation

    Prof. Marc Langheinrich
    Martin Gjoreski, Matias Laporte

    Python Expressions Analyzer

    Prof. Matthias Hauswirth

    This is me: Enhancing self-representation with Multisensory Experiences

    Dr. Monica Landoni
    Leandro Guedes

    Redesigning and improving an accessible application for people with intellectual disabilities

    Dr. Monica Landoni
    Leandro Guedes

    Multixp: Designing multisensory experiences for learning museum contents

    Dr. Monica Landoni
    Leandro Guedes

    The medial axis of a simple polygon in linear time

    Prof. Evanthia Papadopoulou

    Learning shapes as signed distance functions for numerical simulations

    Prof. Rolf Krause
    Simone Pezzuto

    Computing the Evolution of Species

    Prof. Ernst C. Wit
    Dr. Francisco Richter

    Experimental evaluation of failure predictors for containerized cloud applications

    Prof. Mauro Pezzè

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

    Prof. Paolo Tonella
    Nargiz Humbatova

    Explain the Feature space of DL Systems using Decision Trees

    Prof. Paolo Tonella,
    Dr. Vincenzo Riccio, Tahereh Zohdinasab

    Neural Style Transfer-based Testing of Autonomous Driving Systems

    Prof. Paolo Tonella
    Dr. Andrea Stocco

    Simulation-Based Testing of Social Networks by means of Autonomously Interacting Bots

    Prof. Paolo Tonella

    Haptics fabrication

    Prof. Piotr Didyk

    Image-processing for augmented reality

    Prof. Piotr Didyk

    Efficient rendering for VR and AR devices

    Prof. Piotr Didyk

    Robin - ROBot for Interactive Narratives to engage children

    Dr. Monica Landoni
    Sveva Valguarnera

  • 2021 projects

    Summer 2021 UROP Internship Project Proposals

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

     

    Project Description Mentors / Sponsors  
    Zero-Knowledge Systematization of Knowledge: Getting Blockchain Ready for Quantum Computers Dr. Cecilia Boschini, Prof. Stefan Wolf  

    Quantum-safe Messaging: Security Assessment of the Signal Messaging App

    Dr. Cecilia Boschini, Prof. Stefan Wolf

     

    Code transformation engine for the high-performance computing library utopia

    Prof. Dr. Rolf Krause, Dr. Patrick Zulian, Alena Kopanicakova

     

    GANs for solving PDEs with random data

    Prof. Michael Multerer, Wei Huang

     

    Robust Sleep Detection Using Mobile and Wearable Devices

    Prof. Dr. Silvia Santini, Shkurta Gashi, Elena Di Lascio

     

    Personal Informatics System Using Earbuds: Feedback Component

    Prof. Dr. Silvia Santini, Shkurta Gashi, Elena Di Lascio

     

    Development of an Ethereum blockchain replayer

    Dr. Pierre-Louis Roman, Prof. Patrick Eugster

     

    Routing algorithms and attacks on blockchain payment networks

    Dr. Pierre-Louis Roman, Prof. Patrick Eugster

     

    Programming Language for Reactive Distributed Monitoring

    Dr. Pavel Chuprikov, Prof. Patrick Eugster

     

    Cost-based Mechanism Selection for Secure Cloud Computing

    Dr. Pavel Chuprikov, Prof. Patrick Eugster

     

    Evaluating the Use of Native Code in JVM Languages and Frameworks

    Prof. Walter Binder, Dr. Andrea Rosà

     

    FACILE: Analyzing and enhancing text comprehension in the Italian language

    Dr. Monica Landoni, Leandro Guedes

     

    +ACCESS: Designing accessible solutions for people with disabilities

    Dr. Monica Landoni, Leandro Guedes

     

    Multisensory experiences at museums: mixing visual experiences with audio and tangible user interfaces

    Dr. Monica Landoni, Leandro Guedes

     

    DIES - Design and implementation of emoji enriched interfaces for search engines to help children searching in the classroom

    Dr. Monica Landoni, Sveva Valguarnera

     

    Choose Your Own Adventure: design and implementation of a Web and/or Mobile Gamebook app for preschool children

    Dr. Monica Landoni, Sveva Valguarnera

     

    Reading Buddy: design and implementation of a voice-activated ChatBot to support caregiver-child dialogic reading

    Dr. Monica Landoni, Sveva Valguarnera

     

    Defects4DL: A Database of Real Faults in DL Systems

    Prof. Paolo Tonella, Dr. Gunel Jahangirova, Nargiz Humbatova

     

    Developing Self-Driving Car Autopilots using Reinforcement Learning Algorithms

    Prof. Paolo Tonella, Dr. Matteo Biagiola, Dr. Andrea Stocco

     

    Learning Algebra with Programming Language Concepts

    Prof. Matthias Hauswrith

     

    Expression Misconceptions in Multiple Languages

    Prof. Matthias Hauswrith

     

    Type Checking and Inference

    Prof. Matthias Hauswrith

     

    Semi-automatic Videos for Programming Language Misconceptions

    Prof. Matthias Hauswrith

     

    Expression Tree Data Analysis and Visualization

    Prof. Matthias Hauswrith

     

    Unsupervised Machine Learning Methods for Aspect Extraction in Information Retrieval

    Prof. Fabio Crestani

     

    Deep Neural Models for Natural Language Understanding in Conversational Search

    Prof. Fabio Crestani

     

    Improving Computational Efficiency in Inference of Evolutionary Processes

    Prof. Ernst-Jan Camiel Wit

     
  • 2020 projects

    Summer 2020 UROP Internship Project Proposals

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

     

    Project Description Mentors / Sponsors  
    Analyzing Missed Optimization Opportunities in Dynamic Compilers Prof. Walter Binder, Dr. Andrea Rosà    
    Profiling and Analyzing Contention in Parallel Applications Prof. Walter Binder, Dr. Andrea Rosà  
    Visualizing a Digital Library Interface Prof. Fabio Crestani  

    Python front-end for Utopia, a C++ library for parallel scientific computing

    Prof. Rolf Krause, Dr. Patrick Zulian, Alena Kopanicakova  
    Contract-aware test-case generation Prof. Carlo A. Furia, Dr. Andrea Mocci  
    Automatic Pest Insect Image Classification Prof. Cesare Alippi, Dr. Alberto Ferrante  
    An Improved Ear-Training Application for Musicians Dr. Roberto Minelli  
    Luce Research Lab Prof. Matthias Hauswirth  
    Sensor-Based Personal Assistant to Promote Self-Learners’ Engagement Prof. Silvia Santini, Elena Di Lascio, Shkurta Gashi  
    Laughter Recognition Using Earbuds Prof. Silvia Santini, Elena Di Lascio, Shkurta Gashi  
    Developing an Interactive Tool to Allow Human Control in MLS Testing Prof. Paolo Tonella, Michael Weiss  
    Mutation Testing of Deep Drone Prof. Paolo Tonella, Dr. Gunel Jahangirova, Nargiz Humbatova  
    Oracle Improvement for Self-Driving Cars Prof. Paolo Tonella, Dr. Gunel Jahangirova  
    Repairing Self-Driving Cars Autopilots Prof. Paolo Tonella, Dr. Andrea Stocco  
    What Self Driving Car Simulator Should I Use? A Comparative Study Prof. Paolo Tonella, Dr. Andrea Stocco, Dr. Vincenzo Riccio  
    Federated Learning of Human Mobility Prof. Marc Langheinrich  
    Physiological Synchrony and its Effects on Recall in Peer Meetings Prof. Marc Langheinrich, Matias Laporte  
    A new revolutionary product and its commercialization Prof. Fabio Crestani  
    Graph Series Analysis of Connected Systems with Geometric Deep Learning Prof. Rolf Krause, Prof. Alessandro Lomi  
    Analysis of Image Quality Perception from Brain Waves Prof. Piotr Didyk, Dr. Okan Tursun  
    Massively parallel power grid computations Prof. Olaf Schenk, Juraj Kardos  
  • 2019 projects

    Summer 2019 UROP Internship Project Proposals

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

    Project Description Mentors / Sponsors  
    Code generation for numerical quadrature on parallel multiprocessors for finite element simulations Prof. Rolf Krause, Dr. Patrick Zulian  
    Extreme Testing of Self Driving Cars Prof. Paolo Tonella, Dr. Andrea Stocco  
    Parallel Ethereum: Blockchain on Steroids Prof. Fernando Pedone, Enrique Fynn  
    Computational methods for finding the range, roots, and extrema of a function Prof. Kai Hormann  
    Data Analytics System for Improving Mobile Sensing Studies Prof. Silvia Santini, Elena Di Lascio, Shkurta Gashi  
    Real-time Feedback for Smartphone and Smartwatch Users Prof. Silvia Santini, Elena Di Lascio, Shkurta Gashi  
    Synthesis of Digital Drawing Strokes Prof. Piotr Didyk  
    Towards optimal content generation for novel displays Prof. Piotr Didyk  
    Eye-tracking Procedure for Training Visibility Metrics Prof. Piotr Didyk  
    Transforming Fairy Tales into Narratives for Video Games Dr. Monica Landoni  
    Picture-in-Picture detection with Neural Networks Dr. Davide Eynard  
    Geometric Deep Learning for Anomaly/intrusion detection Dr. Davide Eynard  
  • 2018 projects

    Summer 2018 UROP Internship Project Proposals

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

    Project Description Mentors / Sponsors  
    Automatic annotation of Earnings Conference Calls Prof. Fabio Crestani, Dr. Carlo Raimondo (COM), Esteban Rissola  
    Sharding BitCoin for fun and profit Prof. Fernando Pedone  
    Accurate Profiling of Computations on the JVM using Bytecode-level Metrics Prof. Walter Binder, Andrea Rosà, Eduardo Rosales  
    Automatic Benchmark Synthesis for Specific Evaluation Needs Prof. Walter Binder, Andrea Rosà, Eduardo Rosales  
    Fiabot!Plus: Bigger, Better and Stronger Dr. Monica Landoni  
    MoviePlus - A Platform for Sharing Digital Content For Augmented Reality Displays Prof. Marc Langheinrich, Dr. Davide Eynard, Anton Fedosov  
    Estimation of Large-Scale Gaussian Graphical Models Prof. Olaf Schenk, Aryan Eftekhari  
    Automatic Formative Feedback for Java Programming Assignments Prof. Matthias Hauswirth  
    Automatic Identification of Student Misconceptions with Machine Learning Prof. Matthias Hauswirth  
    Detection of Social Interactions using Smartphones Prof. Marc Langheinrich, Agon Bexheti  
    BIO-CAPTCHA Prof. Rolf Krause, Diego Ulisse Pizzagalli  
    Sampling and Color Voronoi Diagrams Prof. Evanthia Papadopoulou, Ioannis Mantas  
    Patent Data Analysis Prof. Fabio Crestani, Manajit Chakraborty  
    How Do Users Interact with a Search Engine on Mobile devices? Prof. Fabio Crestani, Mohammad Alian Nejiadi  
    Question Answering about Past Meetings Prof. Fabio Crestani, Seyed Ali Bahrainian  
    Hardware/software co-design of application-specific systems with Xilinx SDSoC Prof. Laura Pozzi, Dr. Giovanni Ansaloni, Lorenzo Ferretti  
    Fake news detection in social media Prof. Michael Bronstein, Dr. Davide Eynard, Federico Monti  
     
  • 2017 projects

    Summer 2017 UROP Internship Project Proposals

     

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

    Project Description Mentors/Sponsors  
    Developing a graphical tool for free-energy calculation analysis Prof. Vittorio Limongelli  
    Can We Benefit from Wearable IoT Devices Keeping Our Privacy and Security at the Same Time? Prof. Miroslaw Malek, Dr. Alberto Ferrante, Jelena Milosevic  
    Execute Me if You Can: Discovery and Execution of Malicious Payloads in Android Apps  Prof. Miroslaw Malek, Dr. Alberto Ferrante, Jelena Milosevic  
    Liquid Web of Things  Prof. Cesare Pautasso, Andrea Gallidabino  
    ASQ  Prof. Cesare Pautasso, Vasileios Triglianos  
    UALAC in summer: Usability and Accessibility for LAC Dr. Monica Landoni  
    UMOB: How Do Users Interact with a Search Engine on MOBile devices? Prof. Fabio Crestani, Mohammad Alian Nejadi  
    Exploit parallel computing on Model Checking Prof. Natasha Sharygina, Matteo Marescotti  
    Implementation of Geometrical Algorithms - The Farthest Line-Segment Voronoi Diagram Prof. Evanthia Papadopoulou, Ioannis Mantas, Martin Suderland  
    The Voronoi Game  Prof. Evanthia Papadopoulou, Ioannis Mantas, Martin Suderland   
    Development of a Personal Assistant Prof. Fabio Crestani, Seyed Ali Bahreinian  
    A Mobile Privacy Assistant for Sharing Personal Memories Prof. Marc Langheinrich  
    Personalized Public Displays: Designing Interactive Display Applications for Active and Walk-by Content Personalization Prof. Marc Langheinrich  
    Personalized Public Displays: Uncovering Personalization Needs Prof. Marc Langheinrich  
    Detection of Social Engagement Interaction using Smartphones Prof. Marc Langheinrich  
    Measuring fluid conductivity to discover presence of chemicals Prof. Cesare Alippi, Mauro Prevostini  
    Exploring kernel extensions for agreement protocols Prof. Fernando Pedone  
    Extending finite element framework MOOSE to complex type Prof. Rolf Krause, Marco Favino  
     

    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 to apply (see names above)
    • Application deadline: Friday, March 31, 2017 (by the deadline you should already agree with the project's mentor) - send your application 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)
  • 2016 projects

    Summer 2016 UROP Internship Project Proposals

     

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

    Project Description Mentors/Sponsors  
    Exploit parallel computing on SMT solving  Prof. Natasha Sharygina
    Matteo Marescotti 
     
    Analysis and Optimization of Task Granularity in Concurrent Applications Prof. Walter Binder
    Andrea Rosà
    Yudi Zheng 
     
    Using DiSL for Bytecode Instrumentation as a Service  Prof. Walter Binder
    Dr. Lubomir Bulej
    Yudi Zheng 
     
    User Studies in Human Memory Augmentation  Prof. Marc Langheinrich
    Evangelos Niforatos 
     
    PROMO - PROtotypes and MOck-ups for Anchʼ ioLAC  Dr. Monica Landoni  
    ASQ  Prof. Cesare Pautasso  
    Drug Design at a Glance  Prof. Vittorio Limongelli  
    Evaluating a Personal Memory Sharing System  Prof. Marc Langheinrich
    Agon Bexheti 
     
    Roaming Objects - Object-Encoded Digital Experiences  Prof. Marc Langheinrich
    Anton Fedosov 
     
    FPGA to VGA: controlling graphic displays with reconfigurable hardware  Prof. Laura Pozzi
    Dr. Giovanni Ansaloni 
     
     
    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 to apply (see names above)
    • Application deadline: Sunday, March 20, 2016 (by the deadline you should already agree with the project's mentor) - send your application 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)
  • 2015 projects

    Summer 2015 UROP Internship Project Proposals

     

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

    Project Description Mentors/Sponsors  
    Adaptive Disk Storage for Interaction Graphs  Prof. Robert Soulé  
    The Farthest-line Voronoi diagram in 3D Prof. Evanthia Papadopoulou
    Elena Khramtcova
     
    Developing a web based tool for visualizing Dynamic Semantic Networks Prof. Mehdi Jazayeri
    Saman Kamran
     
    Breaking Symmetries in SMT Solvers Prof. Natasha Sharygina
    Dr. Antti Hyvärinen 
     
    Developing a smart versioning system

    Prof. Natasha Sharygina
    Grigory Fedyukovich

     
    Developing your own SMTbased Model Checker  Prof. Natasha Sharygina
    Grigory Fedyukovich
     
    Computational Biology and Drug Design  Prof. Vittorio Limongelli  
    Sharing Physical Objects Using Mobile Augmented Reality  Prof. Marc Langheinrich
    Anton Fedosov
     
    Co-Located AR-based Display Sharing Prof. Marc Langheinrich
    Anton Fedosov
     
     

    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 to apply (see names above)
    • Application deadline: Friday, March 20, 2015 (by the deadline you should already agree with the project's mentor)

     

    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)
  • 2014 projects

    Summer 2014 UROP Internship Project Proposals

     

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

    Project Description Mentors/Sponsors  
    Re-Live the moment - Using run visualizations to provide a positive feedback
    loop for workouts
    Prof. Marc Langheinrich  
    Queries in a Foreign City - Pre-empting the Information Needs of Travelers Prof. Marc Langheinrich  
    DejaVu Prof. Marc Langheinrich  
    DejaTweet Prof. Marc Langheinrich  
    Innovative compiler technologies for accessible massive parallelism in numerical
    simulation software 

    Prof. Olaf Schenk

     
     
    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 to apply (see names above)
    • Application deadline: Friday, March 21, 2014 (by the deadline you should already agree with the project's mentor)

     

    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)
  • 2013 projects

    Summer 2013 UROP Internship Project Proposals

     

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

    Project Description Mentors/Sponsors  
    TagTwitter: Micro-Blogging Dissemination with Tags Antonio Carzaniga  
    A framework for autonomic control on the EC2 Amazon Cloud

    Mauro Pezzè

     
    MapReduce for Inverse Problems Olaf Schenk  
    A Testing Framework for Scientific Codes Olaf Schenk  
    ASQ: HTML5 Presentations with user feedback and peer assessment Cesare Pautasso
    Vasileios Triglianos
     
    Concurrent Evaluation of Recurrent Compute-Tasks In Multilevel Methods Rolf Krause
    Patrick Zulian
     
    Incremental SAT Solving Natasha Sharygina
    Antti Hyvärinen
     
    Specification-based software versioning system integrated with model
    checker eVolCheck and Eclipse IDE
    Natasha Sharygina
    Grigory Fedyukovich
     
    An invariant generation for the BOOGIE verification system Natasha Sharygina
    Francesco Alberti
     
    EXPRESSO: Opinion Expression on Networked Public Displays Marc Langheinrich
    Nemanja Memarovic
    Ivan Elhart
     
    Essentializer - A web site for checking the essence of code Matthias Hauswirth  
    InformaWeb: A Web-Based Classroom Clicker Matthias Hauswirth  
    Virtual 3D Table Tennis Kai Hormann  
    Algorithms and Computational Geometry

    Evanthia Papadopoulou

     
     
    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 to apply (see names above)
    • Application deadline: Friday, March 15, 2013 (by the deadline you should already agree with the project's mentor)

     

    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)
  • 2012 projects

    Summer 2012 UROP Internship Project Proposals

     

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

    Project Description Mentors/Sponsors  
    GUI for upgrade checking engine integrated with Eclipse IDE Prof. Natasha Sharygina
    Grigory Fedyukovich
     
    Bard: Visualizing Emails for Storytelling  Prof. Michele Lanza
    Alberto Bacchelli
     
    Working inside the Cloud: Developing a Cloud Computing Infrastructure Prof. Mauro Pezzè
    Dr. Giovanni Toffetti Carughi
    Alessio Gambi
     
    Generating Integration Test Cases Automatically Prof. Mauro Pezzè
    Konstantin Rubinov
     
    Mr. Edu 2.0 Dr. Monica Landoni
    Dr. Elisa Rubegni
    Dr. Davide Eynard
     
    VoICN: Voice-over Information Centric Networking Prof. Antonio Carzaniga
    Michele Papalini
     
    Algorithms and Computational Geometry, The farthest line-­segment hull Prof. Evanthia Papadopoulou
    Sandeep Kumar Dey
     
    Web Application for Micro-climate Monitoring and Management  Ing. Mauro Prevostini
    Dr. Antonio Vincenzo Taddeo
    Katarina Balac
     
    LoSha2: Location Sharing Made Simple Prof. Marc Langheinrich
    Marcello Paolo Scipioni
     
    USI-Display: An application framework for networked public displays Prof. Marc Langheinrich
    Ivan Elhart
    Nemanja Memarovic
     
     
    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 to apply (see names above)
    • Application deadline: Thursday, March 15th, 2012 (by the deadline you should already agree with the project's mentor)

     

    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)
  • 2011 projects

    Summer 2011 UROP Internship Project Proposals

     

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

    Project Description Mentors/Sponsors  
    Are profilers fundamentally broken? Matthias Hauswirth  
    Dynamic Recursive Data Structure Analysis Matthias Hauswirth  
    Robust Databases Fernando Pedone  
    Virtual 3D Table Tennis Kai Hormann
    Marc Langheinrich
    Michael Bronstein
     
    Geometric Algorithms - Design and Implementation Evanthia Papadopoulou  
    Pattern recognition for sets of rectangles Evanthia Papadopoulou  
    Funsquare - Facilitating Social Ineraction
    Through Shared Experiences
    Marc Langheinrich
    (in Oulu Finland – grants available)
     
    Empirical Analysis of the Lévy-flight Firefly Optimization Approach  Rolf Krause  
    Paralleling OpenSMT Towards Cloud Computing Natasha Sharygina  
    EverMail  Michele Lanza  
     
    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 before and after internship
    • Directly contact a project's mentor to apply (see names above)
    • Application deadline: Tuesday, March 15th, 2011 (by the deadline you should already agree with the project's mentor)

     

    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)
  • 2010 projects

    Summer 2010 UROP Internship Project Proposals

     

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

    Project Description Mentors/Sponsors  
    Automated Services Management over Virtualization Alessio Gambi, Giovanni Toffetti, Cesare Pautasso, Mauro Pezzè  
    The creation and indexing of a document collection containing chat logs data Giacomo Inches, Fabio Crestani  
    The farthest line-segment Voronoi Diagram in the max norm Evanthia Papadopoulou  
    Process-based Management of Cloud Computing Infrastructure Daniele Bonetta, Cesare Pautasso  
    Continuous Integration for Eclipse Plugins Daniele Bonetta, Cesare Pautasso  
    Performance Analysis and Visualization for Service Composition Profiling Daniele Bonetta, Achille Peternier, Cesare Pautasso  
    JSDot Cesare Pautasso  
    Architectural Knowledge Visualization Marcin Nowak, Cesare Pautasso  
    Collaborative Decision Making Marcin Nowak, Cesare Pautasso  
    A web interface for a novel direct manipulation development environment Fernando Olivero, Michele Lanza  
    Understanding past development sessions Lile Hattori, Michele Lanza  
    "What's up?" - Building Reactive Public Displays that Facilitate Casual Encounters With Friends Nemanja Memarovic, Marc Langheinrich  
    Media Access Control (MAC) for e-puck robots Alexander Förster, Anna Förster, Frederick Ducatelle, Luca Gambardella  
    Camera Grid for Robot Tracking Alexander Förster, Luca Gambardella  
    Sonic Based Robot Localization Alexander Förster, Luca Gambardella  
    Computational kernels mapping ad execution on a Coarse Grained Reconfigurable Array Template Giovanni Ansaloni, Laura Pozzi  
    Program an Interpolation-Based Model Checker Roberto Bruttomesso, Aliaksei Tsitovich, Natasha Sharygina  
    Paralleling OpenSMT Towards Cloud Computing Roberto Bruttomesso, Aliaksei Tsitovich, Natasha Sharygina  
    State of the Art Solution of Nonlinear Programming Problems Christian Gross, Rolf Krause  
    Meex - Assessing the impact of user contributed fingerprinting to interval labeling based wifi positioning Marc Langheinrich  

     

    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 before and after internship
    • Directly contact a project's mentor to apply (see names above)
    • Application deadline: Tuesday, June 22nd, 12:30, 2010 (by the deadline you should already agree with the project's mentor)

     

    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)
  • 2009 projects

    Summer 2009 UROP Internship Project Proposals

     

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

    Project Description Mentors/Sponsors  
    Workflow Support for Volunteer Computing  Francesco Lelli, Cesare Pautasso  
    Web APIs for Devices Francesco Lelli, Mehdi Jazayeri  
    RESTful Service Mash-ups over Virtualized Data Centers Alessio Gambi, Giovanni Toffetti, Mauro Pezzè  
    Web Application to Manage Documents Mehdi Jazayeri  
    Media Access Control (MAC) for e-puck robots Alexander Förster, Luca Maria Gambardella  
    Swarm Robots Demonstration with e-puck robots Alexander Förster, Luca Maria Gambardella  
    Robot Arm Demonstration Alexander Förster, Luca Maria Gambardella  
    Visualizing the jumps of LoopFrog Aliaksei Tsitovich, Natasha Sharygina  
    Security Service Negotiation Protocol for MANETs Alberto Ferrante, Antonio Vincenzo Taddeo  
    Self-managing Multi-Agent Systems — Experimenting
    with Decentralized Control
    Alessio Gambi, Jochen Wuttke, Mauro Pezzè  
    An End User Programming Authoring Tool for the Web Navid Ahmadi, Mehdi Jazayeri  
    Design and implementation of a traffic-adaptive medium access protocol
    for wireless sensor networks
    Anna Förster, Antonio Carzaniga  
    HW/SW Co-Design and Test of Reconfigurable Accelerators Memory Interfaces Giovanni Ansaloni, 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 before and after internship
    • Directly contact a project's mentor to apply (see names above)
    • Application deadline: Monday, June 15, 2009, 12:30 (by the deadline you should already agree with the project's mentor)

     

    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 (~ June 22)
    • End before recovery exam period (~ August 29)
  • 2008 projects

    Summer 2008 UROP Internship Project Proposals

     

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

    Project Description Slides Mentors/Sponsors  
    iGame: Game Authoring Tool for iPhone / iPod touch PDF Navid Ahmadi, Mehdi Jazayeri  
    A coarse grained reconfigurable architecture test bed PDF Giovanni Ansaloni, Laura Pozzi  
    Composable Web 2.0 Widgets for Real-time Business Process Monitoring PDF Monica Frisoni, Cesare Pautasso  
    Uniform Sampling in Peer-to-Peer Networks   Cyrus Hall, Antonio Carzaniga  
    Adagio - Why is it so slow? PDF Matthias Hauswirth  
    Informa: Classroom Response System for Teaching Programming PDF Matthias Hauswirth  
    Speculative GUI Components PDF Matthias Hauswirth  
    Dynamic On-the-fly Code Generation for Efficient Trace Analysis & Visualization PDF Matthias Hauswirth  
    Building a Web 2.0 Application using a social and semantic approach PDF Sasa Nesic, Francesco Lelli, Mehdi Jazayeri  
    Domain Specifc Languages for Model Analysis and Translation PDF Jochen Wuttke, Mauro Pezzé  
    ProximityScan   Michele Lanza  
    X-Ray3   Michele Lanza  
    Browser-based Visualization of Architectural Decision Spaces   Cesare Pautasso  
    Flash-Based Database Management Systems   Fernando Pedone  
    Robtic Lab Demonstrators and Educational Framework   Alexander Förster, Luca Maria Gambardella  
     
    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 before and after internship
    • Directly contact a project's mentor to apply (see names above)
    • Application deadline: Wednesday, May 28, 2008, 12:30

     

    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 (~ June 23)
    • End before recovery exam period (~ August 29)
  • 2007 projects

    UROP'06 was a great success, allowing our undergraduate students to get involved in academic research very early in their curriculum. For UROP'07 we have put together an exciting and even broader selection of project proposals. Moreover, we have added outside projects from CSCS and from industry.

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

     

    Informatics Faculty UROP Projects

    Project Title Mentors/Sponsors  
    Graphical Reporting Tool for Moodle Riccardo Mazza, Fabio Crestani  
    Covering, Independent Sets, and Other NP-Complete Problems Paolo Bonzini, Laura Pozzi  
    Animating SpyWare Romain Robbes, Michele Lanza  
    CC++ Richard Wettel, Michele Lanza  
    Extending the XRay Eclipse Plugin Mircea Lungu, Michele Lanza  
    Clustered In-Memory Databases Fernando Pedone  
    Distributed Orchestration of Composite Web Services Walter Binder  
    Distributed Simulation Environment Cyrus Hall, Jeff Rose, Antonio Carzaniga  
    Dynamic On-the-fly Code Generation for Efficient Trace
    Analysis & Visualization
    Matthias Hauswirth  
    Geo Referencing with Heterogeneous Web APIs Giovanni Ciampaglia, Paolo Giordano, Alberto Vancheri, Denise Andrey  
    Informa: Design, Implementation, and Evaluation of Solution Similarity Measures Matthias Hauswirth  
    Monitoring Conversational Web Services Domenico Bianculli, Carlo Ghezzi  
    Model Annotation, Constraint and Code Generation for Self-Checking Programs Jochen Wuttke, Mauro Pezzè  
    Service Composition Algorithms Operating on a Compact
    Directory Digest
    Walter Binder  
    Simulating MAC-Level Protocols for Sensor Networks Anna Egorova-Förster, Amy Murphy  
    Simulating Routing Protocols for Sensor Networks Anna Egorova-Förster, Amy Murphy  
    Verification Conditions with Strings Stefano Tonetta, Natasha Sharygina  

     

    CSCS - Swiss National Supercomputing Centre

    Web Service for a Metadata Catalog Peter Kunszt  

     

    Industry

    Shoe Design Tool Hugo Boss  
    Internal Information System TC Systems  
  • 2006 projects

    Summer 2006 Internship Opportunities

    We started our internship program in summer 2006. The results of the first round of summer internship projects were presented at the First USI Informatics Internship Day on January 22, 2007.

     

    First USI Informatics Internship Day (Monday, January 22nd, 2007, 13:30)

    13:30 Welcome  
    13:35 UROP Internships
    Mehdi Jazayeri (Dean, Faculty of Informatics)
     
    13:40 Industrial Internships at B-Source
    Andrea Frei (Human Resources Manager, B-Source)
     
    13:45 Mobile Banker Platform
    Intern: Renzo Russi
    Mentor: Carlo Cabiati (B-Source)
     
    14:05 Content-based Sensor Network Communication
    Intern: Marco Primi
    Mentors: Cyrus Hall, Antonio Carzaniga (USI)
     
    14:25 Software Model Checking
    Intern: Katerina Barone-Adesi
    Mentors: Chiara Braghin, Stefano Tonetta, Natasha Sharygina (USI)
     
    14:45 Housing the Mothers - A Firefox Plugin for a P2P Web
    Interns: Daniele Sciascia, Jacopo Malnati
    Mentors: Jeff Rose, Antonio Carzaniga (USI)
     
    15:05 Eclipse Predictor
    Interns: Alessandro Gaia, Claudio Marforio
    Mentor: Matthias Hauswirth (USI)
     
    15:25 Closing Notes  
    15:30 Apero