What specific expertise does SpaceX have in the air traffic control realm?
Building software which respect to probabilistic risk analysis. This includes techniques such as abstract interpretation and theorem for for the logic of dynamical system etc. I guess spacex expertise in these realm is quite advanced and they do something useful.
none of this has anything to do with air traffic control. and it's about NASA's agreement with contractors like SpaceX, not SpaceX's relationship with the FAA.
Sure, but they need to calculate risk of their stuff. So they at least know how to do that. So they will understand how risk assessment works and can apply this into analyzing system used and evaluating available system on the markets.
Anyway this is the least concern of what the Trump admin is doing. They siding with Russia putting America's carefully crafted world order down the drain. Read: winter is coming - garry kasparov
My understanding regarding ATC issues today is that they are terribly understaffed, and several news outlets have reported on this. If that is the case I don't know how much fancy modelling can help.
Building software which respect to probabilistic risk analysis. This includes techniques such as abstract interpretation and theorem for for the logic of dynamical system etc. I guess spacex expertise in these realm is quite advanced and they do something useful.