Nik Sultana

  • Assistant Professor of Computer Science

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