Elanor Tang
Graduate Student Instructor - Computer Science Theory
Ann Arbor, Michigan, United States
Summary
🤩
Rockstar🎓
Top SchoolElanor Tang is a PhD student in computer science at Carnegie Mellon University with five years of experience bridging formal methods, algorithms, and software engineering. She has taught algorithms and theory courses, distilled complex lecture material into clear proofs and homework, and mentored students through rigorous problem-solving. Her research work includes automating geometric proofs for collision avoidance and implementing formally verified algorithms, with hands-on experience formalizing semantics in Coq during an internship at Sandia National Laboratories. Elanor pairs practical engineering—building Python tools, React components, and AWS Lambdas—with deep formal verification skills, enabling fast, auditable solutions for safety-critical systems. Based in Ann Arbor, she brings a rare combination of pedagogy, theorem-proving rigor, and production software experience that accelerates both student learning and reliable system development.
4 years of coding experience
3 years of employment as a software developer
Bachelor of Science - BS, Mathematics and Computer Science, Bachelor of Science - BS, Mathematics and Computer Science at University of MichiganMaster's degree, Computer Science, Master's degree, Computer Science at University of Michigan College of Engineering
Github Skills (2)
low-level10
rust8
Programming languages (3)
Github contributions (5)
elanortang/costas
Oct 2024 - Dec 2024
Contributions:1 PR, 17 pushes, 2 branches in 1 month
elanortang/elanortang.github.io
Oct 2024 - Oct 2024
Contributions:18 pushes, 1 branch in 21 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.