Rahul Krishnan
PHD Student at UW-Madison Programming Languages Group
Madison, Wisconsin, United States
Summary
👤
Senior🎓
Top SchoolRahul Krishnan is a CS PhD student at UW–Madison researching programming languages and security/privacy, bringing 11 years of software experience that bridges research and production. His background includes developing verification tools for neural networks and practical systems work—ranging from C# and Spark pipelines at The Trade Desk to web development and mentoring in earlier roles. He has strong academic credentials from UT Austin (Turing Honors) and a track record of applying formal methods to real-world problems, particularly at the intersection of PL and security. Colleagues describe him as someone who moves comfortably between rigorous theory and data‑driven engineering, often finding pragmatic ways to make formal guarantees useful in large-scale systems.
11 years of coding experience
3 years of employment as a software developer
Doctorate, Computer Science, Doctorate, Computer Science at University of Wisconsin-MadisonBachelor of Science - BS, Computer Science (Turing Honors), 3.92/4.00 GPA, Bachelor of Science - BS, Computer Science (Turing Honors), 3.92/4.00 GPA at The University of Texas at AustinDual Enrollment, Computer Science, 4.00/4.00 GPA, Dual Enrollment, Computer Science, 4.00/4.00 GPA at University of Colorado BoulderFairview High School
English, Spanish
Stackoverflow
69reputation
1kreached
0answers
6questions
Github Skills (34)
primitive7
algorithms7
python7
scientific-computing7
neural-network6
theorem6
svg-images6
tensorflow6
android6
z36
raster6
numpy6
java6
android-intent6
gradient-descent6
Programming languages (6)
Github contributions (5)
rahulk64/EcosystemSim
Apr 2015 - May 2016
Contributions:12 commits, 12 pushes, 1 branch in 1 year
citationpythonbiologysimulationinspiration
solunaire/Vectrize
Jan 2017 - Jun 2018
"Vectrize": A mobile version of the Primitive library developed by @fogleman to generate SVG images from raster ones. Developed by @rahulk64 and @jordanbuchman
Contributions:118 commits, 4 PRs, 81 pushes in 1 year 5 months
svg-imagessvgrasterprimitivesvg-generate
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.