Riley Roberts
Innovation & Technology Analyst
Charlotte Metro United States
Summary
🤩
Rockstar🎓
Top SchoolRiley Roberts is an Innovation & Technology Analyst entering Truist’s competitive Technology & Innovation Leadership Development Program, bringing seven years of hands-on experience across software engineering, distributed systems, and machine learning. A Computer Science graduate from Alabama A&M with a 4.0 GPA, Riley has blended academic research—building a Python AI tool to classify brain signals—with industry internships at Google and Deloitte focused on low-level systems and automated ETL frameworks. They have practical experience with drone-swarm algorithms, memory allocators for Android, and cybersecurity tooling for defense contractors, showing comfort across low-level systems and applied data work. Equally invested in leadership, Riley has been a lead teaching assistant and CodePath instructor, mentoring classmates while presenting research findings. Focused on fintech, digital transformation, and technology strategy, Riley combines technical depth with a penchant for translating complex systems into impactful, usable solutions.
7 years of coding experience
B.S Computer Science, Computer Science, B.S Computer Science, Computer Science at Alabama Agricultural and Mechanical University
Github Skills (7)
formal-verification10
markov-chain10
formal-methods8
model-checking8
deep-learning6
graph-theory5
jax4
Programming languages (3)
Github contributions (5)
fluentverification/stamina-prism
May 2020 - Dec 2021
STAMINA - STochastic Approximate Model-checker for INfinite-state Analysis, integrated with the PRISM model checking engine
Contributions:4 releases, 98 commits, 2 PRs in 1 year 6 months
model-checkingctmcformal-methodsformal-verificationmarkov-chain
formal-verification-research/Modest-Probabilistic-Models-for-NoC
Oct 2019 - Jul 2021
Formal NoC Models from USU
Contributions:206 commits, 186 pushes in 1 year 8 months
formal-verificationnetwork-on-chip
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.