Summary
Eshita Shukla is a software engineer with eight years of experience building backend systems and research-grade NLP tooling, currently an SDE at Apple in Cupertino. She combines industry experience—delivering large-scale Java Spring Boot and Python-Flask microservices at Citi and leading a backend team at a startup—with academic research developing a natural-language-to-temporal-logic framework at Arizona State University. Her research produced a 98%‑accurate formal requirements generator using fine-tuned LLMs, a proprietary 200k-sample dataset, and over 20 fine-tuned models, and she has hands-on experience integrating C++ toolkits with Python via PyBind for automated CPS testing. Comfortable across Java, Python, C++, React/Angular and Dockerized deployments, she moves projects from prototyping to production while also shipping data pipelines and dashboards. Notably, she blends prompt engineering and chain-of-thought strategies into formal verification workflows—an unusual bridge between LLMs and rigorous requirements engineering.
8 years of coding experience
4 years of employment as a software developer
Master of Science - MS, Computer Engineering, 3.75, Master of Science - MS, Computer Engineering, 3.75 at Arizona State University
Bachelor of Technology - BTech, Computer Engineering, Bachelor of Technology - BTech, Computer Engineering at Veermata Jijabai Technological Institute (VJTI)
High School, Computer Engineering, 9.8, High School, Computer Engineering, 9.8 at Atomic Energy Central School
German, Hindi, English