ICL Aeronautics Semi-Algebraic Optimization Group (@aeroimperial-optimization)