Andrew Kent
Graduate Student Researcher
Bloomington, Indiana, United States
Summary
🤩
Rockstar🎓
Top SchoolAndrew Kent is a graduate student researcher and software engineer with 11 years of experience bridging academic research and industry practice in programming languages and software development. Based in Bloomington, Indiana, he is pursuing a PhD in Computer Science (Programming Languages) after earning a BS with a 3.9 GPA, and has held research roles at both Indiana University and Brigham Young University. His industry experience includes a Software Development Engineer internship on the OneNote team at Microsoft and work as a Software Development Engineer at AWS, combining production-quality engineering with research rigor. Earlier service as a Signals Intelligence Analyst in the US Marine Corps— including two deployments to Iraq—adds operational discipline and a security-conscious perspective to his technical work. He is equally at home prototyping language tools and contributing to large-scale cloud engineering, with a focus on turning programming language theory into practical developer tooling. Colleagues would note his rare blend of frontline systems experience, formal research training, and a track record of shipping real products.
11 years of coding experience
Computer Science PhD, Programming Languages, Computer Science PhD, Programming Languages at Indiana University BloomingtonDoctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at Brigham Young University
Github Skills (148)
programming-language10
agda10
racket10
fhe10
scripting-language10
imperative10
crypto10
datalog10
dependent-types10
computer-algebra-system10
code-golf10
homotopy-type-theory10
scripting10
polyglot10
sat-solver10
Programming languages (16)
Github contributions (5)
pnwamk/define-with-spec
Jan 2018 - Mar 2023
Macro for adding simple specifications to function definitions.
Contributions:22 pushes, 1 branch, 3 comments in 5 years 3 months
pnwamk/typed-racket
Sep 2017 - Sep 2018
Andrew's Typed Racket fork
Contributions:21 commits, 592 pushes, 213 branches in 1 year
schemerackettyped
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.