convex optimization, interior point method, Model Predictive Control, Numerical Software Verification, program analysis, Satisfiability Modulo Theory.