GE Aerospace Research
Saswata Paul is an Advanced Lead Engineer at GE Aerospace Research in Niskayuna, NY. His research focuses on the application of formal methods tools and other high assurance technologies such as model-based systems engineering and semantic modeling for the verification and certification of safety-critical digital aerospace systems, including systems that utilize AI/ML. Dr. Paul earned his MS and PhD in Computer Science from Rensselaer Polytechnic Institute.
