Nik Sultana

  • Assistant Professor of Computer Science

Tags:

  1. Home
  2. Office and Department Directory
  3. Directory
  4. Nik Sultana

Education

Ph.D. Computer Science

Trinity College, University of Cambridge

Research Interests

Distributed systems, Programmable networking, Security, Automated reasoning, Formal methods

Professional Affiliations & Memberships

Association for Automated Reasoning

Association for Computing Machinery (ACM)

British Logic Colloquium (BLC)

Institute of Electrical and Electronic Engineering (IEEE)

Institution of Engineering and Technology (IET)

USENIX

Publications

  • April 2021, N.S, J. Sonchack, H. Giesen, I. Pedisich, Z. Han, N. Shyamkumar, S. Burad, A. DeHon, B. Loo; USENIX Symposium on Networked Systems Design and Implementation (NSDI)
  • July 2017 N.S, S. Galea, D. Greaves, M. Wojcik, J. Shipton, R. Clegg, L. Mai, P. Bressana, R. Soulé, R. Mortier, P. Costa, P. Pietzuch, J. Crowcroft, A. Moore, N. Zilberman; USENIX Annual Technical Conference (ATC)
  • June 2016, A. Alim, R. Clegg, L. Mai, L. Rupprecht, E. Seckler, P. Costa, P. Pietzuch, A. Wolf, N.S, J. Crowcroft, A. Madhavapeddy, A. Moore, R. Mortier, M. Koleni, L. Oviedo, D. McAuley, M. Migliavacca; USENIX Annual Technical Conference (ATC)