Presented a poster at the CU annual research expo titled SOS Certificate Repair via DSOS and Rational LP.