Tsimerman's work is directly applicable in two fields of computer science: O-minimality can be used to simplify formal verification.