ONF Connect 2018 has ended
avatar for Nik Sultana

Nik Sultana

University of Pennsylvania
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.

My Speakers Sessions

Wednesday, December 5

2:00pm PST