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, Shilpi Bose, Henry Zhu, Ke Zhong (visiting from Shanghai Jiao Tong University), Zhaoyang Han, Ruijie Mao, Digvijaysinh Chauhan, Nishanth Shyamkumar, Shivani Burad, and Zhilei Zheng.
At Cambridge I supervised Jonny Shipton's 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.
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 the PhD I worked in the Schwichtenberg group on constructive proof search, thanks to the EU's Marie Skłodowska-Curie programme. Before that I wrote an MSc dissertation on the validation of refactorings using interactive theorem-proving.