Dottori della Facoltà di scienze informatiche
Lista dei dottori della Facoltà di scienze informatiche dell'Università della Svizzera italiana, per anno di ottenimento del dottorato.
Expand All
-
2023
-
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. Sofia Botti Mathematical modeling of Human Induced Pluripotent Stem Cell-Derived Cardiomyocytes (hiPSC-CMs): from ionic currents to 3D ventricle models (Joint degree with Università degli Studi di Pavia) Dr. Fatemeh Chegini Multilevel optimization algorithms for Inverse Problem in Electrocardiography Dr. Giulia Colelli Artificial Intelligence, Mathematical Modeling and Magnetic Resonance Imaging for Precision Medicine in Neurology and Neuroradiology (Joint degree with Università degli Studi di Pavia) 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. Alejandro Mazuera Rozo On the Code Quality of Android Apps: Studying and improving their internal quality (Double degree with Universidad de los Andes) Dr. Edgar Eduardo Rosales Rosero Analysis and Optimization of Java Streams 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 (Joint degree with Università degli Studi di Pavia) Dr. Pietro Verzelli Learning Dynamical Systems Using Dynamical Systems Dr. Daniele Zambon Anomaly and Change Detection in Sequences of Graphs -
2021
-
2020
-
2019
-
2018
-
2017
-
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. Concetta Piazzese An inter-modality statistical shape modelling approach for the 3D segmentation of cardiac structures from magnetic resonance images (Joint degree with Politecnico di Milano) Dr. Marijn Frederik Stollenga Advances in Humanoid Control and Perception Dr. Mattia Vivanti Dynamic Data Flow Testing -
2015
-
2014
-
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
-
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