Saswata Paul
Lead Engineer at GE Aerospace
City of Troy, New York, United States
Summary
👤
Senior🎓
Top SchoolSaswata Paul is a Lead Engineer with nine years of experience specializing in high-assurance aerospace systems, combining formal methods, semantics, and distributed/concurrent systems to design and certify safer flight and cyber-physical systems. He holds a PhD in Computer Science from Rensselaer Polytechnic Institute and has advanced from graduate research and teaching roles into research and leadership positions at GE Research and GE Aerospace. His recent work focuses on assurance of AI/ML for on-board digital aerospace systems, blending theoretical rigor with applied certification workflows. Known for bridging academic research and industry practice, he brings deep expertise in formal verification of autonomous and dynamic data-driven systems that few engineers pair with hands-on aerospace deployment experience. Based in Troy, NY, he excels at turning complex safety requirements into auditable, certifiable designs for real-world aerospace platforms.
8 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Rensselaer Polytechnic InstituteBachelor of Technology, Computer Science and Engineering, Bachelor of Technology, Computer Science and Engineering at National Institute of Technology Agartala
Github Skills (6)
designer2
ivy1
protocols1
visualization1
correctness1
proofs1
Programming languages (2)
Github contributions (5)
paulsaswata/Aircraft_Trajectory_Generation
Apr 2018 - Sep 2019
Contributions:87 commits, 74 pushes, 1 branch in 1 year 5 months
paulsaswata/Wind_Aware_Aircraft_Trajectory_Generation
Oct 2018 - Sep 2019
Contributions:27 commits, 24 pushes, 1 branch in 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.