Abha Moitra
Principal Scientist at GE Aerospace
Lexington, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolAbha Moitra is a Principal Scientist with deep expertise in cyber security, semantic modeling and reasoning, and model-based systems engineering, currently based in Lexington, MA. She retired from GE Global Research in 2022 after leading research on high-impact DARPA programs including CASE, ARCOS, and ReMath, and now balances self-employed consulting with a return to GE Aerospace. Her career spans academia and national labs, including an assistant professorship at Cornell and research at TIFR, grounded in a Ph.D. in Computer Science from University of Bombay/TIFR and an M.Sc. in Physics from BITS Pilani. Abha combines rigorous theoretical background with pragmatic systems work—translating formal semantic models into certifiable, cyber-resilient engineering solutions. Known for bridging interdisciplinary teams, she brings rare expertise in both automated reasoning for software assurance and practical cyber-manufacturing initiatives. Currently exploring new opportunities, she offers senior technical leadership for programs that require formal methods tied to real-world certification and resilience goals.
8 years of coding experience
13 years of employment as a software developer
BITS Pilani, Birla Institute of Technology and SciencePh.D., Computer Science, Ph.D., Computer Science at University Of Bombay / TIFR
Github Skills (19)
verification9
quality-assurance9
rapid9
attack-defense9
rack9
test-suite8
model-checking8
security8
stateless7
application-design7
design-patterns5
cybersecurity5
semantic4
certification2
language-design2
Programming languages (2)
Github contributions (4)
ge-high-assurance/RACK
Apr 2020 - Jul 2022
DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
Contributions:1 release, 13 reviews, 149 commits in 2 years 2 months
securityrackcurationrapidverification
ge-high-assurance/VERDICT
Nov 2019 - Mar 2021
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
Contributions:20 commits, 1 PR, 10 pushes in 1 year 4 months
model-checkingsystem-engineeringassuredresilientengineering
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.