Naama Ben-David

Naama Ben-David serves as an Assistant Professor at the Technion - Israel Institute of Technology, specializing in theoretical foundations for concurrent computing systems. Her work bridges theoretical rigor with practical performance optimization in parallel programming environments.

Her academic journey includes:

• Undergraduate studies at the University of Toronto
• PhD in Computer Science from Carnegie Mellon University (advised by Guy Blelloch)
• Three-year postdoctoral research position at VMware Research

Research focuses on identifying performance bottlenecks in concurrent programs through mathematical modeling and algorithmic analysis. She develops frameworks for quantifying synchronization costs while exploring novel concurrent data structures and distributed algorithm design. Her methodology emphasizes formal verification of performance guarantees in real-world systems.

Major recognitions include:

• 2022 PODC Doctoral Dissertation Award
• CMU School of Computer Science Dissertation Award Honorable Mention
• NSERC PGSD scholarship during doctoral studies
• Microsoft Research PhD Fellowship

Her doctoral research at Carnegie Mellon was fully funded through competitive fellowships, with dissertation work receiving dual institutional recognition. Current research continues this focus on performance modeling while expanding into practical implementations of theoretically sound concurrent systems.