Researchers

Alan Demers

Principal Research Scientist (Retired) ; Ph.D., Princeton University, 1975

Research Focus: Database systems, database replication, and algorithms

Motoshi Horii

Research Associate ; M. Eng., Okayama University (Japan), 2016

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

Yue Duan

Postdoctoral Associate ; Ph.D., University of California, Riverside

Research Focus: Computer System Security, Mobile Security, Program Analysis, Deep Learning, Malware Detection

Research Areas: Security

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

Amauri Holanda de Souza Júnior

Postdoctoral Associate ; Ph.D., Federal University of Ceara, 2018

Research Focus: Teleinformatics Engineering

Research Areas: Artificial Intelligence

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

Yuqian Zhang

Postdoctoral Associate ; Ph.D., Columbia University, 2018

Research Focus: Machine learning, computer vision, signal processing, and optimization

Research Areas: Database Systems, Programming Languages

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

Cheng Wang

Visiting Scientist ; Ph.D., The University of Hong Kong, 2019

Research Focus: Distributed systems (especially fault tolerance and virtual machines)