Before joining Imperial, I was a PhD student with the Theory of Hybrid Systems group at RWTH Aachen University and with the AIMS Laboratory at the University of Genoa. During my PhD I developed new algorithms for automated planning via Optimization Modulo Theories.
You might want to check out my personal web page to get a better picture of what I’ve done professionally so far.
et al., 2019, Improving Reliability of Myocontrol Using Formal Verification, Ieee Transactions on Neural Systems and Rehabilitation Engineering, Vol:27, ISSN:1534-4320, Pages:564-571
et al., 2019, Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics, Information Systems Frontiers, Vol:21, ISSN:1387-3326, Pages:87-107
et al., 2020, Optimal planning modulo theories, Pages:4128-4134, ISSN:1045-0823
et al., 2020, Verification of Neural Networks: Enhancing Scalability Through Pruning., IOS Press, Pages:2505-2512
et al., 2019, SMT-based Planning for Robots in Smart Factories, 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE), SPRINGER INTERNATIONAL PUBLISHING AG, Pages:674-686, ISSN:0302-9743