Natasha Jeppu
Applied Scientist II at Amazon Web Services (AWS)
United Kingdom
Summary
👤
Senior🎓
Top SchoolNatasha Jeppu is an Applied Scientist II at AWS with a decade-long focus on automated reasoning, formal verification, automata learning and program synthesis, grounded in a PhD from the University of Oxford. She has built scalable model-learning pipelines from execution traces to reason about system correctness and safety, and has contributed to tooling such as CBMC while identifying proof-runtime optimisations. Her background includes applied verification work for embedded and automotive systems at MathWorks and TUM, reflecting an ability to move formal methods from research into practical toolchains. Based in the UK, she combines deep theory with hands-on engineering at scale and is actively seeking industry opportunities to embed formal methods into production systems. An inquisitive explorer of formal methods, she describes herself on GitHub simply as a "Formal Methods Explorer," signalling a continual curiosity beyond conventional verification roles.
10 years of coding experience
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of OxfordHigh School, High School at National Public SchoolBachelor of Technology - BTech, Computer Science, Bachelor of Technology - BTech, Computer Science at National Institute of Technology Karnataka
Github Skills (43)
tlaplus10
tla10
verification10
model-checking10
checker10
browsable9
cpp9
kotlin8
viewer8
cbmc8
coverage8
testing8
sat-solver6
mutation-testing6
junit6
Programming languages (5)
Github contributions (5)
natasha-jeppu/Trace2Model
May 2020 - Aug 2022
Contributions:116 commits, 56 pushes, 2 branches in 2 years 3 months
grockious/deepsynth
Dec 2020 - Apr 2021
Contributions:11 commits, 2 pushes in 3 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.