Ning Ding

I am an undergraduate researcher interested in systems, security, and formal verification. I am applying to PhD programs for Fall 2027.

Education

University of British Columbia
B.Sc. in Computer Science
September 2022 – May 2026 (Expected)
GPA: 89.7/100

Research Assistant, Systopia Lab
University of British Columbia
2026 – 2027 (Expected)

Research

Research Projects

Scalable TLB Shootdowns in Linux

Investigating how TLB shootdowns scale on large multicore systems. The project explores topology-aware IPI propagation strategies in the Linux kernel and evaluates their performance across hardware platforms and workloads.

Supervised by: Reto Achermann and Margo Seltzer

vBPF: Concurrent eBPF Semantics

Working toward formalizing concurrent eBPF semantics in F* and building an interpreter for exploring concurrent executions.

Supervised by: Ivan Beschastnikh, Alexander J. Summers, and Reto Achermann
Collaborator: Yanze Li

CHERIoT Network Stack

Collaborating on the CHERIoT network stack, a compartmentalized network stack for capability-based embedded systems.

Supervised by: Hugo Lefeuvre and Margo Seltzer

Research Interests

Broad interests in systems, security, and formal verification (still investigating!).

Beyond Research

I'm fascinated by physics, especially relativity. In my free time, I enjoy drawing and creating art. I love dogs.

In loving memory of Pompom
Name in Chinese: 绒球 (Rong Qiu)
January 28, 2012 – December 29, 2025
My beloved companion who brought joy to every day.