Nadav directs the Amit Systems Lab. His research focuses on the gap between what operating systems can do in principle and what real systems are actually able to use — especially around memory management, virtualization, and kernel extensibility. Before joining the Technion he was a researcher at VMware Research.