On Symbolic Model Order Reduction Speaker: C.-J. Richard Shi