I am currently working as a software engineer in the defense 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 systems programming and hardware projects. This site serves as a portfolio of work I've done in my spare time.