Balaji Rao
Research Assistant at Stevens Institute of Technology
Hoboken, New Jersey, United States
Summary
🤩
Rockstar🎓
Top SchoolBalaji Rao is a Ph.D. candidate and research assistant in Systems Engineering at Stevens Institute of Technology with seven years of experience building neuro-symbolic AI systems that generate machine-checkable artifacts and close the loop with external verifiers. He designs verified code-generation and post-training alignment workflows—combining LLM fine-tuning, theorem proving (Isabelle/HOL, HOL Light), OCaml tooling, and cloud integrations on AWS—to produce proofs, proof traces, and repairable proof loops for high-stakes domains like cloud security. His recent work includes ProofSeek and ProofAug, an LLM-assisted HOL Light helper for s2n-bignum, and knowledge-augmented LLMs that reduce hallucinations by grounding outputs in structured data. Balaji also brings practical engineering chops from industry internships (AWS Automated Reasoning Group, Johnson & Johnson) and side contributions to algorithmic coding projects, reflecting a blend of formal methods, applied ML, and full-stack prototyping. He’s actively seeking teams building verified-generation pipelines, tool-using agents with explicit oracles, and systems that prioritize machine-checkable correctness. An unusual strength is his track record of shipping end-to-end cloud prototypes that connect theorem provers to developer workflows (VS Code, Amazon Q) for real user onboarding.
7 years of coding experience
Bachelor of Engineering, Electrical, Electronics and Communications Engineering, Bachelor of Engineering, Electrical, Electronics and Communications Engineering at BNM Institute Of TechnologyDoctor of Philosophy - PhD, Systems Engineering, Doctor of Philosophy - PhD, Systems Engineering at Stevens Institute of Technology
Github Skills (8)
c1710
algorithms10
c-language10
cpp10
cprogramming-language10
c1110
develop9
web-development-project4
Programming languages (6)
Github contributions (5)
InnovativeCoder/Innovative-Hacktober
Oct 2019 - Oct 2019
Make a pull request. Let's hack the ocktober in an innovative way.
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:6 commits, 1 PR in 2 days
Contributions summary:Balaji contributed a variety of programs, including "Hello World", even/odd number checker, Armstrong number calculation, prime number identification, and Fibonacci sequence generation. They used both C and C++ to implement these solutions, with specific examples in the form of `.c` and `.cpp` files. These contributions suggest a focus on problem-solving and proficiency in foundational programming concepts within the context of a Hacktoberfest project focused on diverse algorithms and coding examples.
pythoncssjavascriptletdigitalocean
BALAJIRAO676/Make-a-Pull-Request
Oct 2018 - Oct 2020
Make a Pull Request
Contributions:1 PR, 1 push, 1 branch in 2 years
pull-requestpythonrequest
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.