Anitha Gollamudi
Assistant Professor at University of Massachusetts Lowell
Lowell, Massachusetts, United States
Summary
🤩
Rockstar🎓
Top SchoolAnitha Gollamudi is an Assistant Professor at UMass Lowell with 11 years of experience at the intersection of programming languages, security, and privacy. Her academic path includes a PhD from Harvard and postdoctoral research at Yale, and her work focuses on language design and static analysis to enforce security properties. She brings deep systems and compiler expertise from industry roles at AMD, Atmel, and Microsoft Research, having contributed to LLVM/Open64 backends and concurrency features for heterogeneous architectures. An active open-source contributor, she has implemented parsers and interpreters for proof-oriented languages such as FStar, blending formal methods with practical tooling. Colleagues describe her as someone who pairs rigorous theoretical foundations with hands-on implementation, often surfacing subtle language-level defenses that improve software assurance.
11 years of coding experience
15 years of employment as a software developer
B.Tech, B.Tech at Andhra UniversityRice UniversityDoctor of Philosophy (Ph.D.), Doctor of Philosophy (Ph.D.) at Harvard University
Github Skills (10)
programming-language10
parser10
lexical-analysis10
language-design10
parsing10
interpreter10
parse10
ocaml10
dependent-types9
theorem-proving8
Programming languages (7)
Github contributions (5)
FStarLang/FStar
Jul 2016 - Aug 2017
A Proof-oriented Programming Language
Role in this project:
Back-end Developer
Back-end DeveloperContributions:45 commits, 54 pushes, 1 branch in 1 year
Contributions summary:Anitha's contributions primarily revolve around implementing and refining a parser and interpreter for a proof-oriented programming language. The commits show modifications to the lexer and parser files, defining language syntax and grammar. Furthermore, they are working on integrating the parser with a program interpreter, as evidenced by changes to a main.ml file, and test cases that test functionality.
homotopy-type-theorycoq-librarytype-theorysat-solvercompiler
anithag/kleestr
Apr 2015 - May 2015
Contributions:1 release, 37 commits, 44 pushes in 29 days
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.