Karel Pravda-Starov, Imperial College London, Subelliptic estimates for overdetermined systems of quadratic differential operators