Highlighted Coursework: Internet and Web Systems, Software Foundations (Coq).