Meet our PH.D. Students
Philip E. Davis: Semantics and middleware for data management in scientific computing workflows.
Negin Dehghanchaleshtori: Implementation of Field-Programmable Gate Arrays (FPGAs) for the purpose of enhancing the efficiency of networking processing. The objective is to optimize and accelerate various aspects of network data processing.
Zining Fan: Reinforcement learning and programming languages.
Jonathan García-Mallén: Focus on compiling differential equations to FPGAs. He aims to facilitate hardware acceleration for researchers to accelerate their models without needing to learn C, C++, Verilog, or VHDL.
Linfeng He: Redesigning Virtual Memory. System & architecture co-design for near-memory processing.
Alborz Jelvani: Broadly interested in building efficient programming interfaces for heterogeneous and reconfigurable computing architectures.
Zirui Li: Quantum computing system and machine learning for quantum computing.
Bhavana V S: Focuses on network measurements when there is only a single direction of traffic visibility.
Matan Shachnai: Formal verification of real world applications – eBPF ecosystem.
Harishankar Vishwanathan: Interested in building systems that are secure, verifiable, and efficient. His research interests are broadly in Formal Methods, Programming Languages and Operating Systems. Currently, he works closely with the eBPF run-time in the Linux kernel; specifically the static program analysis taking place in the eBPF in-kernel verifier.
Zhanfu Yang: Approximate computing.
Jian Zhang: Research interests focus on storage systems, including but not limited to, file systems, key-value stores, and non-volatile memories.