Here you will find some projects I am involved with
Dionysos
Dionysos is a modular package for solving optimal control problems using state-of-the-art control techniques for complex systems. It is built on top of different Julia packages such as JuMP and MathOptInterface, and features optimal control problem definitions and several abstraction-based methods to solve them.
Dionysos is the software of the ERC project Learning to control (L2C).
LEARNING TO CONTROL (L2C)
SMART AND DATA-DRIVEN FORMAL METHODS FOR CYBER-PHYSICAL SYSTEMS CONTROL
L2C is a pluridisciplinary project at the frontier between Control Engineering, Computer Science and Applied Mathematics. It bridges the gap between rich innovative techniques and emerging challenges in Control. It impacts both fundamental Science and Engineering, as the theoretical research is driven and fostered by cutting edge technological challenges.
Github
I am also interested by the Julia programming language.
Here are my current projects.