Nik mugshot

Nik Sultana, PhD

I'm a postdoc in the NetDB group at Penn, working with Boon Thau Loo, and part of the Distributed Systems Lab.

Contact: nsultana at seas. upenn.edu

Recent

Research interests

Networking, compiler & systems programming, security, and formal methods, in that disorder.

Publications

DBLP seems to keep tabs on this.

Recent:

Code

Most recent:

More can be downloaded from my old page, my GitHub, and my GitLab.

Teaching

At Penn I've had the good fortune to work with the following RA's: Achala Rao, Zihao Jin (visiting from Tsinghua University), Anirudh Chelluri, Nishanth Prabhu, Shilpi Bose, Henry Zhu, and Ke Zhong (visiting from Shanghai Jiao Tong University).

At Cambridge I supervised Jonny Shipton (2016 UROP) and the "Part II" (undergrad final-year) projects of Thomas Le Feuvre, Radu Voroneanu, Daniel Spencer (co-supervised with Richard Mortier), and Rupert Horlick (co-supervised with Richard Mortier).

I lectured Prolog for one year, and "supervised" (Cambridge-speak for small-group teaching) the following courses over several years: Compiler construction, Computer networking, Concepts in programming languages, Denotational semantics, Discrete maths, Foundations of computer science, Logic and proof, Operational semantics, Optimising compilers, Prolog, Software and interface design, Specification and verification, Unix tools.

Other activities

COMSNETS TPC 2020, SIGCOMM Posters+Demos PC 2019 & 2018, NetPL co-organiser 2017 & 2016, EuroSys Shadow PC 2015, CiE type-setting 2012, TCSS Symposium co-organiser 2011, Principia co-organiser 2010.

Bio

I was previously a post-doc in the Cambridge Systems Research Group, where I worked on programmable networking using domain-specific and general-purpose languages for different hardware targets. Before that I wrote a PhD in the Automated Reasoning Group, where I developed a compiler-based approach to proof translation.

Before starting the PhD I worked in the Schwichtenberg group on constructive proof search, after writing an MSc dissertation on the validation of refactorings using interactive theorem-proving. Prior to that I participated in the Vulcanus in Japan programme, after finishing my first degree in Malta.

And as tribute to the 90's, this page is perpetually...

under construction