I'm a Computer Science major with a dual interest in theory and hardware. Throughout my time at Oregon State, I've taken a number of hardware courses, leading me to acquire skills in hardware description languages, digital logic, and computer architecture. In addition to my course work, I've been involved in the Programming Languages research group since my freshman year, focusing on explanation-oriented programming. Through this I've gained a solid understanding of topics such as type systems, formal semantics, and formal logic. I have also gained experience in formally verifying software using the Coq proof assistant. In my free time, I write for my technical blog, which you can find linked on this page. My most recent project there is an 11-part series on compiler development, which blends together the theoretical knowledge of type systems and automata theory with the practicalities of implementing them in C++.
In this day and age, the majority of herding work is performed manually; herds of livestock such as cattle are handled in-person by ranchers, who could be using this time for other work. Our project consists of an end-to-end sy...