Congratulations to Matt Wilhelm and former NSF REU student Anne Le (now at UMass Amherst) on the recently accepted publication in AIChE Journal.  This work develops a new approach to bounding solutions of parametric initial value problems for guaranteed global solution of dynamic optimization problems.  This article is part of the AIChE Futures Issue by invitation. https://doi.org/10.1002/aic.16836