Researchers in Applied Mathematics, Jun Liu and Maxwell Fitzsimmons, have received the Oded Maler Award, a distinction presented for the best paper at FORMATS 2025.
The Oded Maler Award is given for the top paper at the International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS). This year’s edition of the conference was held on August 25-30, 2025, in Aarhus, Denmark, jointly with QEST (International Conference on Quantitative Evaluation of SysTems) as a shared forum dedicated to quantitative modelling, analysis, and verification of systems. The 2025 edition of QEST and FORMATS was also held as part of CONFEST 2025, an umbrella event that brings together major international conferences in formal methods and system analysis.
Their paper, “Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions”, introduces a symbolic method that makes the synthesis of global Lyapunov functions more tractable. By transforming candidate functions into simplified symbolic representations, the approach supports more efficient formal verification of system stability, which underpins a wide range of applications in science and engineering.
Monday, September 1, 2025