Faculty of Informatics

Tools

Info for

Italiano

About

Study

Research

Practicalities

News and events

Events

September

2023

25.
09.
2023

Foundations of Trustworthy AI for the Real World

Seminars

September

2023

28.
09.
2023

Sound Notional Machines

Defenses

October

2023

09.
10.
2023

Automated Verification of Blockchain Technologies with Correctness Guarantees

Defenses

May

2024

04.
05.
2024

XXVIII Dies academicus

Doctors of Philosophy of the Faculty of Informatics

PhD graduates of the Faculty of Informatics of Università della Svizzera italiana, listed by year of graduation.

2023
Dr. Igor Artico	Latent drivers for dynamic networks
Dr. Sepideh Asadi	Effective and flexible SMT-streamlined software model checking
Dr. Martin Blicha	Effective Automated Software Verification: A Multilayered Approach
Dr. Xavier Cotieux-Roy	Correlations and security - genuinely multipartite nonlocality and free-energy cryptography
Dr. Lia Gander	Multi-fidelity modeling of atrial fibrillation
Dr. Klaus Greff	Towards Unsupervised Multi-Object Perception in Neural Networks
Dr. Nargiz Humbatova	Mutation Testing of Deep Learning Systems
Dr. Stefano Muscat	Elucidating the Trodusquemine Action Against Neurodegenerative Disorders by Molecular Modelling Techniques
Dr. Leandro Pacheco de Sousa	Scaling Strongly Consistent Replicated Systems
Dr. Simone Riva
Dr. Imanol Schlag	Fast Weight Programmers for Greater Systematic Generalisation in Language
Dr. Toby Simpson	Computational Tools for Cardiac Simulation, GPU-Parallel Multiphysics
Dr. Edoardo Vecchi	Efficient and scalable solution techniques for small data learning problems
Dr. Michael Weiss	Empirical Assessment and System Level Integration of Neural Network Supervisors

Expand All

2022

2022
Dr. Seif Ben Bader	Multilevel Methods and Uncertainty Quantification in Cardiac Electrophysiology
Dr. Arpitha Bharathi	Complexity of Proving CSP-based Ideal Membership Problems
Dr. Arianna Blasi	Automatic Generation of Test Oracles from Natural Languages Specifications
Dr. Fatemeh Chegini	Multilevel optimization algorithms for Inverse Problem in Electrocardiography
Dr. Mojtaba Eslahi Kelorazi	Scalable State Machine Replication Revisited
Dr. Shkurta Gashi	Robust Sensor-based Recognition of Human Behavior
Dr. Ioannis Mantas	Problems on Planar Voronoi Diagrams
Dr. Edgar Eduardo Rosales Rosero	Analysis and Optimization of Java Streams
Dr. Alejandro Mazuera Rozo	On the Code Quality of Android Apps: Studying and improving their internal quality
Dr. Filippo Schiavio	Language-Agnostic Integrated Queries in a Polyglot Language Runtime System
Dr. Manuel Schürch	Scalable Gaussian Processes
Dr. Martin Suderland	Geometric problems in higher dimensions: Voronoi diagrams, the Fermat point, and the bichromatic discrepancy
Dr. Claudio Tomasi	A Neural Network approach for the generation of Transfer Operators in Multilevel Solvers
Dr. Pietro Verzelli	Learning Dynamical Systems Using Dynamical Systems
Dr. Daniele Zambon	Anomaly and Change Detection in Sequences of Graphs

2021

Dr. Elena Ballante	Statistical and Machine Learning Models for Neurosciences
Dr. Chiara Bardelli	Machine Learning and Statistical models in real world applications
Dr. Maram Barifah	From Facet-based to Visualised Digital Library Interfaces
Dr. Veronika Baumann	Agents in Superposition - Indefinite Causal Order and Wigner's-Friend-type Experiments
Dr. Aryan Eftekhari	Scalable Algorithms for High-Dimensional Graphical Lasso and Function Approximation
Dr. Elena Di Lascio	Sensor-Based Recognition of Engagement During Work and Learning Activities
Dr. Vincenzo Ferme	Declarative Performance Testing Automation - Automating Performance Testing for the DevOps Era
Dr. Enrique Fynn	Scaling Blockchains
Dr. Daniele Grattarola	Graph Neural Networks: Operators and Architectures
Dr. Ngoc Mai Monica Huynh	Newton-Krylov Dual-Primal Methods for Implicit Time Discretizations in Cardiac Electrophysiology
Dr. Ana Ivanchikj	RESTalk - A visual and textual DSL for modelling RESTful conversations
Dr. Afrouz Jabalameli	Approximation Algorithm for Survivable Network Design
Dr. Radim Janalik	Node-Level Performance Modeling of Sparse Factorization Solver
Dr. Alena Kopanicakova	Multilevel minimization in trust-region framework
Dr. Jevgenija Pantiuchina	On Code Quality and Refactoring: Predicting Code Quality Decay and Recommending Meaningful Refactoring Actions
Dr. Nicola Picchiotti	Explainable Artificial Intelligence: an Application to Complex Genetic Diseases
Dr. Esteban A. Ríssola	Text Mining for Online Mental Health State and Personality Assessment
Dr. Daniele Rogora	Analyzing System Performance with Probabilistic Performance Annotations
Dr. Gabriele Rovi	Multigrid methods for stress-based contact problems in linear elasticity
Dr. Ken Trotti	Multigrid methods for fractional diffusion equations
Dr. Andrés Felipe Valencia Patiño	Performance and Physical Attack Security of Lattice-Based Cryptography
Dr. Fengcai Wen	Mining Code Change Patterns to Aid Software Development

2020

Dr. Emad Aghajani	Software Documentation: Automation and Challenges
Dr. Pietro Benedusi	Parallel Space-Time Multilevel Methods with Application to Electrophysiology
Dr. Cecilia Boschini	Lattice-based Protocols for Privacy
Dr. Pietro Bressana	Simplifying Offloading Applications to the Network
Dr. Xiaochen Chou	Advanced Metaheuristics for the Probabilistic Orienteering Problems
Dr. Paul Erker	Physics and Information - What is the role of Information in Physics?
Dr. Lorenzo Ferretti	Design Space Exploration in High-Level Synthesis
Dr. Andrea Gallidabino	Liquid Web Applications - Design and Implementation of the Decentralized Cross-Device Web
Dr. Boris Gromov	Human-Robot Interaction with Pointing Gestures
Dr. Arne Hansen	Perspectives on the measurement problem --- Perspectives from the measurement problem
Dr. Theo Jepsen	Building Blocks for Leveraging In-Network Compute
Dr. Kolja Junginger	Voronoi-like diagrams - Towards linear-time algorithms for tree-like abstract Voronoi diagrams
Dr. Juraj Kardos	High-performance interior point methods - Application to power grid problems
Dr. Hardik Kothari	Multilevel Solution Strategies for Unfitted Finite Element Methods
Dr. Bin Lin	Opinion Mining for Software Development
Dr. Matteo Marescotti	Parallelization and modelling techniques for scalable SMT-based verification
Dr. Diego Ulisse Pizzagalli	A hierarchy of graph-based methods to study the behavior of immune cells in vivo
Dr. Michal Piovarci	Perception-Aware Computational Fabrication - Increasing The Apparent Gamut of Digital Fabrication
Dr. Ilaria Scarabottolo	Less is more: efficient hardware design through Approximate Logic Synthesis
Dr. Jan Svoboda	Deep Learning for 3D Hand Biometric Systems
Dr. Simon van Steenkiste	Learning Structured Neural Representations for Visual Reasoning Tasks
Dr. Cyrill von Planta	Simulation of contact and fluid structure interaction in rough rock fractures with L2-projections
Dr. Rui Xin	Self-healing Cloud Applications
Dr. Georgios Zacharopoulos	Compiler Analysis for Hardware/Software Co-design and Optimization

2019

Dr. Seyed Ali Bahreinian	Just-In-Time Information Retrieval and Summarization for Personal Assistance
Dr. Mohammad Alian Nejadi	Modeling User Information Needs on Mobile Devices: from Recommendation to Conversation
Dr. Katarina Balac	Optimization of Anchor Nodes Placement in Wireless Localization Networks
Dr. Agon Bexheti	A Privacy-aware and Secure System for Human Memory Augmentation
Dr. Emiliano Cirillo	Recent advances in barycentric rational interpolation of a function and its derivatives
Dr. Paulo Rodolfo da Silva Leite Coelho	On the many faces of atomic multicast
Dr. Huynh Tu Dang	Consensus Protocols Exploiting Network Programmability
Dr. Anton Fedosov	Supporting the Design of Technology-Mediated Sharing Practices
Dr. Waldo Gàlvez	Approximation Algorithms for Two-dimensional Geometric Packing Problems
Dr. Sarah Mapelli	Deciphering the complexity of human noncoding promoter-proximal transcriptome: different scales of transcriptional control
Dr. Ganna Marchenko	Nonparametric methods for nonstationary time series analysis with application to volatility modelling
Dr. Luis Mastrangelo	When and How Java Developers Give Up Static Type Safety
Dr. Thi Viet Ly Nguyen	Robust Optimization for Home Health Care
Dr. Sonia Pozzi	Enhancing multi-scale cardiac simulations by coupling electrophysiology and mechanics - A flexible high performance approach to cardiac electromechanics
Dr. Fabio Verbosio	High performance selected inversion methods for sparse matrices
Dr. Daniele Zuddas	Automatically Testing Interactive Applications - Exploiting interactive applications semantic similarities for automated testing

2018

Dr. Murodzhon Akhmedov	Steiner Trees and Multilayer Networks for Functional Analysis and Integration of High-throughput Omics Data in Cancer Systems Biology
Dr. Andrea Aquino	Reusing Solutions Modulo Theories
Dr. Mohammad Reza Azadmanesh	Debugging by Filtering History Slices
Dr. Masiar Babazadeh	Liquid Stream Processing on the Web: a JavaScript Framework
Dr. Samuel Benz	Building global and scalable systems with Atomic Multicast
Dr. Francesco Bianchi	Exposing concurrency failures - A comprehensive survey of the state of the art and a novel approach to reproduce field failures
Dr. Tommaso Dal Sasso	An Object Is Worth a Thousand Words - Reification as the Key to Augmenting Software Development
Dr. Anastasia Giachanou	Tracking Public Opinion on Social Media
Dr. Alberto Goffi	Automatic Generation of Test Oracles
Dr. Gianvito Grasso	Modelling Protein-Protein Interactions to Elucidate Molecular Mechanisms Behind Neurodegenerative Diseases
Dr. Jérôme Guzzi	Path planning for mobile robots in the real world: handling multiple objectives, hierarchical structures and partial information
Dr. Saman Kamran	IDCOLAB: An Interactive and Dynamic Collaborative Labeling Framework
Dr. Koorosh Khazaei	Efficient Tree-Based Content-Based Routing Schemes
Dr. Samuli Leppänen	Some high-degree integrality gap results for the Sum of Squares hierarchy
Dr. Steven Mudda	Time Aware Location Recommendations in Location Based Social Networks
Dr. Evangelos Niforatos	The Role of Context in Human Memory Augmentation
Dr. Andrea Rosà	Analysis and Optimization of Task Granularity on the Java Virtual Machine
Dr. Mauro Scanagatta	Advancements in Bayesian network structure learning
Dr. Rupesh Kumar Srivastava	New Architectures for Very Deep Learning
Dr. Elena Volonté	Subdivision schemes for curve design and image analysis

2017

Dr. Ämin Baumeler	Causal Loops: Logically Consistent Correlations, Time Travel, and Computation
Dr. Davide Boscaini	Geometric Deep Learning for Shape Analysis
Dr. Leonardo De Sa Alt	Controlled and Effective Interpolation
Dr. Eduardo Feo Flushing	Collaborative Missions with Heterogeneous Networked Teams
Dr. Alan Ferrari	Code Offloading in Opportunistic Computing
Dr. Kamini Garg	INDIGO: A Generalized Model and Framework for Performance Prediction of Data Dissemination
Dr. Salvatore Ingala	Approximation Algorithms for Rectangle Packing Problems
Dr. Igor Kaitovic	Online Disturbance Prediction for Enhanced Availability in Smart Grids
Dr. Kirill Lykov	Cell mechanics in flow: algorithms and applications
Dr. Jelena Milosevic	Malware Detection at Runtime for Resource-Constrained Mobile Devices: Data-Driven Approach
Dr. Roberto Minelli	Interaction-Aware Development Environments
Dr. Luca Ponzanelli	Holistic Recommender Systems for Software Engineering
Dr. Randolf Schärfig	Efficient Multi-Bounce Lightmap Creation Using GPU Forward Mapping
Dr. Teseo Schneider	Theory and Applications of Bijective Barycentric Mappings
Dr. Vasileios Triglianos	ASQ: Active Learning with Interactive Web Presentations and Classroom Analytics
Dr. Sumedha Uniyal	Approximation Algorithms for Network Design Problems
Dr. Patrick Zulian	Geometry-Aware Finite Element Framework for Multi-Physics Simulations

2016

Dr. Carlos Eduardo Benevides Bezerra	Scalable State Machine Replication
Dr. Grigory Fedyukovich	Automated Incremental Software Verification
Dr. Elena Khramtcova	On the Hausdorff and Other Cluster Voronoi Diagrams
Dr. Artiom Kovnatsky	Spectral Methods for Multimodal Data Analysis
Dr. Andrea Mattavelli	Software Redundancy: What, Where, How
Dr. Jawad Nagi	Human-Swarm Interaction and Cooperation
Dr. Marijn Frederik Stollenga	Advances in Humanoid Control and Perception
Dr. Mattia Vivanti	Dynamic Data Flow Testing

2015

Dr. Francesco Alberti	An SMT-based verification framework for software systems handling arrays
Dr. Mathias Björkqvist	Resource Management of Replicated Service Systems Provisioned in the Cloud
Dr. Daniele Bonetta	A parallel programming model and runtime system for safe event-based parallel programming
Dr. Luca Colombo	HEBE: Highly Engaging eBook Experiences
Dr. Lea Conen	Domain decomposition preconditioning for the Helmholtz equation - A coarse space based on local Dirichlet-to-Neumann maps
Dr. Somayeh Danafar	Statistical kernel methods and their applications in machine learning
Dr. Onur Derin	Self-adaptivity of Applications on Network on Chip Multiprocessors: The Case of Fault-tolerant Kahn Process Networks
Dr. Sandeep Kumar Dey	Voronoi diagrams in the max-norm: Algorithms, implementation, and applications
Dr. Ivan Elhart	Scheduling Interactive and Concurrently Running Applications on a Network of Open Public Displays
Dr. Marco Favino	Derivation, Simulation and Validation of Poroelastic Models in Dental Biomechanics
Dr. Giacomo Inches	Statistical Models for the Analysis of Short User-Generated Documents - Author Identification for Conversational Documents
Dr. Olga Kaiser	Data-based analysis of extreme events: inference, numerics and applications
Dr. Varun Raj Kompella	Slowness Learning for Curiosity-Driven Agents
Dr. Jürgen Leitner	From Vision To Actions - Towards Adaptive and Autonomous Humanoid Robots
Dr. Marcin Nowak	Collaborative software architecture decisions: structure and dynamics
Dr. Ricardo Padilha	Byzantine Fault Tolerant Storage for the Cloud
Dr. Michele Papalini	TagNet: A Scalable Tag-Based Information-Centric Network
Dr. Michela Papandrea	SLS: Smart Localization Service - Human Mobility Models and Machine Learning Enhancements for Mobile Phone's Localization
Dr. Maximilian Rietmann	Local Time Stepping on High Performance Architectures
Dr. Alessandro Rigazzi	The effects of roughness on the area of contact and on the elastostatic friction - FEM simulation of micro-scale rough contact and real world applications
Dr. Benno Salwey	The Power of No-Signalling Attacks and Implications for (Quantum) Non-Locality Distillation
Dr. Daniele Sciascia	High Performance Deferred Update Replication

2014

Dr. Saeed Aghaee	End-User Development of Mashups Using Live Natural Language Programming
Dr. Danilo Ansaloni	Modular and Efficient Dynamic Program Analysis Tools - A Framework Based on State-oriented Abstractions and on Parallelization
Dr. Mauro Baluda	Test Generation for High Coverage with Abstraction Refinement and Coarsening (ARC)
Dr. Mikhail Alexander Frank	Learning To Reach and Reaching To Learn - A Unified Approach to Path Planning and Reactive Control through Reinforcement Learning
Dr. Parisa Jalili Marandi	High Performance State-Machine Replication
Dr. Parvaz Mahdabi	Query Refinement for Patent Prior Art Search
Dr. Ilya Markov	Uncertainty in Distributed Information Retrieval
Dr. Jonatan Masci	Advances in Deep Learning for Vision, with Applications to Industrial Inspection
Dr. Nemanja Memarovic	Interacting Places - Networked Public Displays That Stimulate Community Interaction
Dr. Nicolò Perino	A Self-Healing Framework for General Software Systems
Dr. Lars Putzig	Non-stationary data-driven computational portfolio theory and algorithms
Dr. Simone Fulvio Rollini	Craig Interpolation and Proof Manipulation - Theory and Applications to Model Checking
Dr. Aibek Sarimbekov	Workload Characterization of JVM Languages
Dr. Sebastian Schmitz	A Local and Probabilistic Model for Low-Cycle Fatigue - New Aspects of Structural Analysis
Dr. Georgios Stamoulis	Approximation Algorithms For Resource Allocation And Network Problems
Dr. Johannes Steiner	Coupling Different Discretizations for Fluid Structure Interaction in a Monolithic Approach
Dr. Nihat Engin Toklu	Matheuristics for Robust Optimization: Application to Real-World Problems
Dr. Maksym Zavershynskyi	Higher-Order Voronoi Diagrams of Polygonal Objects

2013

Dr. Alberto Bacchelli	Mining Unstructured Software Data
Dr. Maryam Esmaeili	Modeling of Market Behavior in Different Scales Using Multi-agent Simulation of Participants' Cognitive Behavior
Dr. Alessio Gambi	Kriging based Self-Adaptive Controllers for the Cloud
Dr. Dorian Krause	Scalable Space-Time Adaptive Simulation Tools for Computational Electrocardiology
Dr. Denis Mauà	Algorithms and Complexity Results for Discrete Probabilistic Reasoning Tasks
Dr. Mehdi Mirzaaghaei	Automatic Test Suite Evolution
Dr. Fernando Olivero	Object-focused Environments Revisited
Dr. Konstantin Rubinov	Automatically Generating Complex Test Cases from Simple Ones
Dr. Dennis Weyland	Stochastic Vehicle Routing - From Theory to Practice
Dr. Dmitrijs Zaparanuks	Algorithmic Profiling

2012

Dr. Navid Ahmadi	Broadening Educational Game Design using the World Wide Web
Dr. Domenico Bianculli	Open-world Software: Specification, Verification, and Beyond
Dr. Giovanni Luca Ciampaglia	User Participation and Community Formation in Peer Production Systems
Dr. Leandro Fiorin	High-level Services for Networks-on-Chip
Dr. Shima Gerani	Proximity-based Approaches to Blog Opinion Retrieval
Dr. Lile Hattori	Change-centric Improvement of Team Collaboration
Dr. Milan Jovic	Understanding the Performance of Interactive Applications
Dr. Mostafa Keikha	Methods for Ranking User-Generated Streams - A Case Study in Blog Feed Retrieval
Dr. Slobodan Lukovic	A Comprehensive Approach to MPSoC Security - Achieving Network-on-Chip security: a hierarchical, multi-agent approach
Dr. Amirhossein Malekpour Koupaei	A Transport Protocol for Best-Effort Content-Based Networks
Dr. Cédric Mesnage	Social Shuffle - Tag Navigation and Social Diffusion for Music Discovery
Dr. Yi Sun	On Generation of Representations for Reinforcement Learning

2011

Dr. Giovanni Ansaloni	Architectural Exploration and Scheduling Methods for Coarse Grained Reconfigurable Arrays
Dr. Alessandra Gorla	Automatic Workarounds: Exploiting the Intrinsic Redundancy of Software Systems
Dr. Giovanni Mariani	A Design Space Exploration Methodology Supporting Run-Time Resource Management for Multi-core Architectures
Dr. Adina Diana Mosincat	Enhancing Service-oriented Systems with Autonomic Capabilities
Dr. Philippe Moret	Rapid Development of Dynamic Program Analyses
Dr. Marcello Mura	Power Modeling and Simulation for Wireless Sensor Networks
Dr. Sasa Nesic	Semantic Document Architecture for Desktop Data Integration and Management
Dr. Rachid Rebiha	Algebraic Formal Methods for Invariant Generation
Dr. Antonio Taddeo	Towards Self-Adaptive Security for Pervasive Computing Architectures
Dr. Aliaksei Tsitovich	Scalable Abstractions for Efficient Security Checks
Dr. Tim Winkler	Processing Mesh Animations - From Static to Dynamic Geometry and Back

2010

Dr. Marco D'Ambros	On the Evolution of Source Code and Software Defects
Dr. Matteo Gagliolo	Online Dynamic Algorithm Portfolios
Dr. Cyrus Hall	Peer-to-Peer Algorithms for Sampling Generic Topologies
Dr. Nikos Mutsanas	Approximability of Precedence Constrained and Robust Scheduling Problems
Dr. Francesco Regazzoni	A Design Flow and Evaluation Framework for DPA-resistant Embedded Systems - A step towards design automation for security
Dr. Richard Wettel	Software Systems as Cities
Dr. Jochen Wuttke	Automatically Generated Runtime Checks for Design-Level Constraints

2009

Dr. Paolo Bonzini	Compilation and Design Automation For Extensible Embedded Processors
Dr. Anna Förster	Teaching Networks How To Learn
Dr. Mircea Lungu	Reverse Engineering Software Ecosystems
Dr. Vaide Narvaez	On Non-Intrusive Workload-Aware Database Replication
Dr. Nicolas Schiper	On Multicast Primitives in Large Networks and Partial Replication Protocols
Dr. Ola Svensson	Approximability of Some Classical Graph and Scheduling Problems

2008

Dr. Alessandro Antonucci	Imprecise Probabilistic Graphical Models: Equivalent Representations, Inference Algorithms And Applications
Dr. Lasaro Jonas Camargos	Multicoordinated Agreement Protocols and the Log Service
Dr. Frederick Ducatelle	Adaptive Routing in Ad Hoc Wirelss Multi-hop Networks
Dr. Shane Legg	Machine Super Intelligence
Dr. Romain Robbes	Of Change And Software

Faculty of Informatics
Università della Svizzera italiana
Via Buffi 13
6900 Lugano, Svizzera
tel +41 58 666 46 90
fax +41 58 666 45 36
e-mail [email protected]
Other contacts Feedback on the website

Directions

How to get to the Faculty

Stay in touch

About

Study

Research

Practicalities

News and events

Search form

Doctors of Philosophy of the Faculty of Informatics

Expand All

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

Quicklinks

Share

Print

Directions

Stay in touch