Turbulence Modeling via Data Assimilation and Machine Learning for Separated Flows over Airfoils | Synapse