Contact: nsultana at seas. upenn.edu
Networking, compiler & systems programming, security, and formal methods, in that disorder.
DBLP seems to keep tabs on this.
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, and Shilpi Bose.
At Cambridge I supervised Jonny Shipton (2016 UROP), and the "Part II" 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.
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.