Resume
Academic Achievements
- 2023: 'A MaxSAT approach for solving a new Dynamic Discretization Discovery model for train rescheduling problems' (with Anna Livia Croella, Carlo Mannino, Paolo Ventura)
- 2023: 'An optimization-based decision support tool for incremental train timetabling' (with Oddvar Kloster, Carlo Mannino, Giorgio Sartor)
- 2022: 'Feasibility Jump: an LP-free Lagrangian MIP heuristic' (with Giorgio Sartor)
- 2021–2022: 'Abstraction Refinement of Parallel Transition Systems in an SMT-based Timeline Planner' (with Synne Fossøy)
- 2021: 'Improving Online Railway Deadlock Detection using a Partial Order Reduction'