Nik is a post-doc at the University of Pennsylvania where he works on programmable networking and program transformation. His research interests include security, design and implementation of programming languages, formal methods, and data networking. For his PhD at Cambridge University he developed a compiler-based approach to translating formal proofs between logics.