Cameron Pappas is a software engineer in Sydney with a decade of experience blending practical full‑stack development and academic research in programming languages and formal methods. He moves smoothly between production roles—now at Oracle after building web and mobile systems at Portant—and research projects that model and formally verify network and robotic algorithms at Macquarie University. His Masters by Research focused on programming languages, and his work includes formalising OSPF routing and developing verifiable control software for autonomous aquatic vehicles. A practiced educator, he has lectured and tutored a wide range of computing topics, which informs his clear, maintainable engineering style. Outside work he describes himself as a “part time developer, full time rabbit hole diver,” reflecting a curiosity that drives both deep tooling work and practical system delivery.
10 years of coding experience
4 years of employment as a software developer
Diploma of Computing, Computer Science, Diploma of Computing, Computer Science at Sydney Institute of Business and Technology (SIBT)
Master of Research, Computing - Programming Languages, Master of Research, Computing - Programming Languages at Macquarie University
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.