Tim Whiting
Graduate Student Researcher
Provo, Utah, United States
Summary
🤩
Rockstar🎓
Top SchoolTim Whiting is a Flight Software Programming Language Engineer with a decade of experience building reliable systems from embedded hardware to language design. Currently developing a systems-focused programming language and flight software for weather satellites, he combines PhD-level research in control-flow analysis and compilers with hands-on engineering for safety-critical systems. His open-source contributions include work on difftastic (syntax-aware diffing) and Riverpod migration tooling, showing fluency across tooling, CLI, and async state management. Tim’s research delivered novel control-flow analyses for effect handlers and demand-driven context sensitivity, and he’s turned those ideas into practical tools like a Koka playground and language server. Based in Provo, Utah, he’s equally comfortable optimizing low-level FPGA testing pipelines and shaping language semantics to make software more readable, refactorable, and auditable.
9 years of coding experience
6 years of employment as a software developer
Doctorate, Computer Science, Doctorate, Computer Science at Brigham Young University
Polish, English
Github Skills (9)
state-management10
flutter-game10
code-migration10
dart10
syntax-highlighting10
flutter-apps10
flutter10
cli9
testing8
Programming languages (19)
Github contributions (5)
rrousselGit/riverpod
Mar 2021 - Dec 2022
A reactive caching and data-binding framework. Riverpod makes working with asynchronous code a breeze.
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:29 reviews, 23 commits, 32 PRs in 1 year 9 months
Contributions summary:Tim primarily contributed to the `riverpod` repository by implementing and refining the migration tooling for the upcoming 1.0.0 release. Their work included modifications to the CLI and related fixtures to ensure smooth transitions and migration compatibility. Furthermore, they tackled issues surrounding provider observers and scoped providers, improving the overall stability and functionality of the `riverpod` framework. In addition, the user made key adjustments to the handling of asynchronous values, addressing issues within the codebase.
service-locatorproviderstate-managementdartriverpod
Wilfred/difftastic
Jul 2020 - Jun 2021
a structural diff that understands syntax 🟥🟩
Role in this project:Back-end Developer
Back-end DeveloperContributions:58 commits in 11 months
Contributions summary:Tim implemented features for highlighting syntax and incorporated examples. They worked on integrating a simple Flutter example for the project. Further contributions involved addressing issues with typedefs, global variables, and the handling of null-aware syntax elements within the codebase.
tree-sitterlanguagetoolstructural-diffstructuraldiff
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.