As I'm starting my I'm going to be writing mostly just thoughts that I want to get down in writing. Not everything will be coherent or polished. In the future I might go back to a post and update it and polish it up. But for now, I'm just going to write. I'll clearly mark if a post is polished, and if it's been updated since the posting date with some sort of tag probably updated or finished.

For my PhD, I'm happy to say that I'll be working with the Koka programming language and static analysis.

My Advisor Dr. Kimball Germane is a computer science faculty at BYU where I'm at. https://kimball.germane.net/

He has a lot of experience with static analysis, and especially with making control flow analysis practical for real world use.

Koka is a wonderful language and I've started using it more and more for my personal projects. It's a research language, and as such is not recommended for general use at this point. But I hope to help change that.