I am currently working as a software engineer in the aerospace industry while pursuing an MS in cyber security. I am interested in software development as an engineering discipline and security research from the perspective of formal computer science. In addition to software, I enjoy embedded system programming and hardware projects. This site serves as a portfolio of work I've done in my spare time.