I’m Alex Richins, soon to graduate with a bachelors in computer science. Working on this capstone project was a great opportunity to utilize asynchronous rust for the first time. I worked primarily on the back-end and infrastructure aspects of the project. For over a year, I have been doing research with John Regehr in MLIR toolings via verification. There I have worked on a wide variety of tools in the MLIR most being focused around optimization generation. My interests are in compilers middle-end, mainly in high level intermediate representations and working in domain specific environments. I’m not averse to compiler front-ends or back-ends, I just haven’t spent as much time working on those components. I enjoy working with a variety of languages. I’m also interested in architectures and programming language theory, especially as they interact with each other with unique accelerators and features.