Tim Whiting

About Me

I am a PhD student at Brigham Young University studying control flow analysis, with a focus on advanced control flow features including algebraic effect handlers.

I am interested in type systems, program analysis, and user / developer experience.

I design languages and language tooling to enable writing and maintaining understandable code. In the age of AI, code is cheap — but quality code is invaluable.

My goal is to make it easier for both humans and machines to communicate in a clear and concise way that prioritizes understanding and correctness. This will help developers ensure that what they write or generate matches the intended UX and behavior.