github Designed a domain specific stack based pure functional array programming language with postfix notation to write and formally verify an operating system kernel. The implementation is simplified by shifting the complexity of compilation onto the programmer. The language’s source reduces to LEAN code, which simplifies formal verification of the operating system kernel. • Coordinating with team members to meet project deadlines. • Understanding and integrating pre-existing codebase/libraries and frameworks + programming style. • Working with complex data structures and algorithms (Paging, Multithreading) • Complex Systems final project. Simulated a simple 3D world, with a graph-based trust network between birds. WORK EXPERIENCE Solo developer for a hardware startup in the entertainment industry. Tasked with building front end and back end interfaces for a distributed network of edge computing devices with high fidelity camera systems. Employed cutting edge mesh network software, and industry standard security practices.