Randair Porter

Software Engineer at Microsoft

Seattle, Washington, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Randair Porter is a software engineer in Seattle with 11 years of experience blending deep algorithms and programming-language research with production systems and game development. Currently contributing to the C++ compiler at Microsoft, he previously built scalable services at Expedia (Kotlin, Java, TypeScript) and co-authored a PLDI-accepted paper on proof repair while researching compilers at the University of Washington. He founded Radnyx Games, shipping a browser hit (50k+ players) and engineering real-time AI, pathfinding, and GPU techniques to run complex simulations within 16ms frames. Comfortable across low-level systems and high-level services, he has practical expertise in compiler tooling, optimized code, LLM-powered services, and developer-facing reliability. Notably, he combines a lifelong fascination with programming languages and games to produce both research-grade compilers and commercially successful interactive software.
code11 years of coding experience
job6 years of employment as a software developer
bookBachelor's degree, Computer Science, Bachelor's degree, Computer Science at University of Washington
github-logo-circle

Github Skills (35)

protocol-buffers9
game-engine9
serialization9
3d9
protobuf9
game-development9
api8
rpc8
binance8
open-source8
protoc8
godot8
marshalling7
cryptocurrency7
automated-trading7

Programming languages (4)

C#C++OCamlPython

Github contributions (5)

github-logo-circle
Radnyx/GEM

Jan 2019 - Feb 2024

Contributions:8 pushes, 1 branch in 5 years 1 month
Radnyx/crystal

Jun 2022 - Oct 2022

Contributions:63 commits, 58 pushes, 3 branches in 3 months
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.
Request Free Trial