Research Associate

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

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

Postdoctoral Associate/Fellow

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

Tobias Kappé
Postdoctoral Associate ; Ph.D., University College London, 2020

Research Focus: Kleene Algebra, formal languages, software-defined networking, concurrency, and program equivalence

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

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

Visiting Professor/Fellow/Scientist

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

Software Engineer

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