Researchers

Weijia Song

Research Associate ; Ph.D., Peking University, 2014

Research Focus: Cloud Storage and file system, network and distributed system

Karim Ahmed

Postdoctoral Associate ; Ph.D. candidate, Dartmouth College, 2019

Research Focus: Machine learning and computer vision

Research Areas: Artificial Intelligence

Silke Glas

Postdoctoral Associate ; Ph.D., Institute of Numerical Mathematics, 2018

Hoda Heidari

Postdoctoral Associate ; Ph.D., University of Pennsylvania, 2017

Research Focus: AI, ML, Algorithmic Economics and Mechanism Design

Research Areas: Artificial Intelligence

Jaehyun Hwang

Postdoctoral Associate ; Ph.D., Korea University, 2010

Research Focus: Cloud data center networking, TCP/MPTCP flow & congestion control, software-defined networking, multi-access edge computing, big data platforms

Research Areas: Systems and Networking

Rahul Kidambi

Postdoctoral Associate ; Ph.D., University of Washington, 2019

Research Focus: Machine Learning, Deep Learning; AI; Large-scale/streaming optimization methods

Research Areas: Artificial Intelligence

Shufeng Kong

Postdoctoral Associate ; Ph.D., University of Technology, Sydney (Australia)

Ali Munir

Postdoctoral Associate ; Ph.D., Michigan State University, 2019

Research Focus: Measurement, Modeling, Design, Optimization, and Management of Networking and Security Systems.

Research Areas: Systems and Networking

Kristina Sojakova

Postdoctoral Associate ; Ph.D., Carnegie Mellon University, 2016

Research Focus: Type theory, logic, category theory, and programming language

Research Areas: Programming Languages

Hardik Soni

Postdoctoral Associate ; Ph.D., Université Côte d'Azur, 2017

Research Focus: Programmable Networks, network programming languages, Software-defined Networks

Research Areas: Programming Languages, Systems and Networking

Mina Tahmasbi Arashloo

Postdoctoral Associate ; Ph.D. Princeton University, 2019

Research Focus: Networked Systems with an emphasis on Software Defined Networks (SDNs) and Programmable Data Planes

Research Areas: Systems and Networking

Mark Bickford

Senior Researcher ; Ph.D., Mathematics, University of Wisconsin, 1983

Research Focus: Logic, recursion theory, and set theory

Research Areas: Theory of Computing

Christoph Kreitz

Adjunct Professor ; Ph.D., University of Hagen, 1984

Research Focus: Program synthesis, automated deduction, program verification, and formal logics

Ross Tate

Software Engineer ; Computer Science, CS Field Member ; Ph.D., University of California, San Diego, 2012

Research Focus: Language Design, Program Optimization, Type Theory, Semantics, Program Analysis

Research Areas: Programming Languages, Theory of Computing