Riley Roberts
Lead Undergraduate Teaching Assistant & Researcher
Alabama, 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 (11)
markov-chain10
approximate9
checker9
stochastic9
formal-methods8
formal-verification8
storm8
deep-learning7
model-checking6
graph-theory4
jax3
Programming languages (4)
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-checkercheckerstochasticinfiniteapproximate
formal-verification-research/Modest-Probabilistic-Models-for-NoC
Oct 2019 - Jul 2021
Contributions:206 commits, 186 pushes in 1 year 8 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.