International academic supervision
In the year 2021-22, the students of the Faculty have the opportunity to partake in an international research project as part of their coursework or thesis. Available topics and academic supervisors are listed below.
| Academic supervisor | Affiliation | Name of the project in English | Name of the project in Russian | Requirements | Ducation | Description |
|---|---|---|---|---|---|---|
| National Institute of Nuclear Physics (Padova section) | End-to-end optimization of the design of a muon tomography apparatus | Сквозная оптимизация аппарата для мюонной томографии | Python programming, notions of machine learning. Some prior knowledge of PyTorch is useful. | Time involvement: from 3 months to six months. Time frame: June 2021 – June 2022 | By using differentiable programming libraries of PyTorch we are developing a pipeline for the optimization of the performance of a muon tomography detector in estimating the atomic number of an unknown volume of material, by choosing a layout, geometry, and cost of detection elements. The student would help code some of the modules of the pipeline and extend its functionality. Possibility to co-author a publication of the proof-of-principle software. | |
| Tommaso Dorigo | National Institute of Nuclear Physics (Padova section) | End-to-end optimization of the design of a hybrid calorimeter | Сквозная оптимизация гибридного калориметра | Python programming, notions of machine learning. Some prior knowledge of PyTorch or TensorFlow is useful. | Time involvement: six months or more. Time frame: October 2021 – | Differentiable programming may enable the investigation of design choices for a calorimeter for a particle physics experiment. In this open-ended study, the student will consider possible layouts of a device comprised of tracking as well as scintillation layers, with the purpose of understanding the existence of novel design solutions to the problem of inferring the energy and direction of particle showers. Possibility to co-author a publication on the studies performed. |
| National Taiwan University | Language and string constraint solving Boolean circuit learning Quantified decision procedures | Решение языковых и строковых ограничений Обучение булевым схемам Количественные процедуры принятия решений | — | — | — | |
| University of Padova | Automata theory, formal methods, model checking, cyberphysical-systems (precise topics upon inquiry) | Теория автоматов, формальные методы, проверка моделей, киберфизические системы (точные темы по запросу) | Up to two master students | On-site supervision | — | |
| University of Padova | Semantic foundations and formal methods for software systems | Семантические основы и формальные методы для программных систем | Up to two master students | On-site supervision | — | |
| University of Padova | Cybersecurity | Кибербезопасность | Up to three master students | Both remote and on-site supervision | — | |
| University of Padova | (Multi-perspective) Process Mining and Conformance Checking | (Многоперспективный) поиск процессов и проверка соответствия | Up to two master students | Preferably on-site supervision; if not, remotely, or dual | — | |
| University of Padova | Optimization Methods for Data Science and Complex Systems | Методы оптимизации для науки о данных и сложных систем | Up to four master students | Both remote and on-site supervision | — | |
| University of Padova | Optimal Decisions in Integrated Operations Management | Оптимальные решения в интегрированном управлении операциями | Up to two master students | Both remote and on-site supervision | — | |
| University of Padova | Categorical logic and type theory | Категориальная логика и теория типов | Up to three master students | Both remote and on-site supervision | — | |
| University of Padova | Mean Field Games systems: first order or second order case Partial Differential Equation on networks | Системы игр со средним полем: случай первого или второго порядка Частные дифференциальные уравнения в сетях | One bachelor or master student | Both remote and on-site supervision | — | |
| University of Padova | Harnack's inequality for elliptic and parabolic equations Gamma-convergence and/or G-convergence | Неравенство Харнака для эллиптических и параболических уравнений Гамма-конвергенция и/или G-конвергенция | One bachelor and one master student | Both remote and on-site supervision | — | |
| University of Padova | Integrable systems and moduli space of curves | Интегрируемые системы и модульное пространство кривых | Up to two master students | On-site supervision | The moduli space of curves classifies all possible complex smooth algebraic curves (Riemann surfaces) and can be compactified to produce a closed compact space (a complex orbifold, to be precise). Each point represents a Riemann surface, up to reparametrization. Given the centrality of Riemann surface geometry in several fields of mathematics, from geometry to mathematical physics, the study of the topology of their moduli space is an important classical problem. Since the 90s and Witten's conjecture (a surprising intuition coming from string theory, later proved by Kontsevich) it has been known that integrable systems of Hamiltonian PDEs (an infinite-dimensional application of Arnold-Liouville integrability) control intersection theory of the moduli space of curves. This interaction has been fruitful both for geometry and mathematical physics. There are several special and very modern topics that use beautiful mathematics and could form the heart of a research-oriented master thesis. The details can be discussed and decided with the interested student. | |
| Angelos Anadiotis Ioana Manolescu | Ecole Polytechnique, Institut Polytechnique de Paris | Distributed Big Data & ML architecture for ConnectionLens | Распределенная архитектура больших данных и машинного обучения для ConnectionLens | One master student or a group of two students • Relational database management systems • Graph data management • Distributed systems • Machine learning techniques for natural language processing | Both remote and on-site supervision | ConnectionLens is a system that finds connections between user-specified search terms across heterogeneous data sources. ConnectionLens treats a set of heterogeneous, independently authored Full description and references |
| Jesse Read | LIX Laboratory, Ecole Polytechnique, Institute Polytechnique de Paris | Bayesian-Neural Methods for Missing Data Imputation with Applications in Bioinformatics | Байесовско-нейронные методы для введения отсутствующих данных с приложениями в биоинформатике | The project can be adapted to either bachelor or master level. Knowledge of and experience in machine learning, including at least one deep-learning framework (e.g., TensorFlow Some relevant bioinformatics knowledge could make the topic more appreciable. | The mode of | Missing data is a universal problem in data science and machine learning, and impacts many domains. Imputation can be approached as a machine learning task itself, by building models and using them to predict the missing values. These models can predict single or multiple values, either within a common row-instance or across the dataset within a common feature-column. Deep neural networks are a popular and successful class of model in general, particularly when multiple outputs are involved, yet usually, these methods only provide point estimates. Full description and references |
| Eric Goubault Sylvie Putot | Ecole Polytechnique, Institute Polytechnique de Paris | Verification of neural network based controllers | Верификация контроллеров на основе нейронных сетей | Mostly master, but end bachelor for some parts of the project as well. No more than two. Ideally, some knowledge on verification, formal methods, set-based methods, basic control theory and basic AI (neural nets) | Both remote and on-site supervision | The student will look into one or more, of these subjects: - set-based abstractions of RELU activation functions, even swish, soft relu etc. - an interpretation of network architectures more general than feedforward neural nets (with CNN blocks etc., at least an important fragment of ONNX) - abstractions for recurrent networks (initially, zonotopic interpretations and the use of our fixed point computation methods in the zonotopic domain see e.g. https://arxiv.org/abs/0910.1763) - a better implementation (in particular with an external and not internal representation) of the interpretation of RELU networks by tropical polyhedra, cf. - extensions to this SAS21 paper (in particular, tropical polynomials, by simple techniques of linear representation on a monomial basis, improvement of the interpretation of multi-layer networks, e.g. by using intermediate zonotopes instead of hypercubes etc.) - develop examples of neural network controllers for RINO and various tools (NNV, ReachNN, Verisig, flowstar in particular) around the F1/10tenth cf. https://arxiv.org/pdf/1910.11309.pdf and https://github.com/rivapp/autonomous_car_verification |
Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.