Search Researchers

Principal Research Scientist

Alan Demers
Principal Research Scientist (Retired) ; Ph.D., Princeton Univ, 1975

Research Focus: Database systems, database replication, and algorithms

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

Pantelis Analytis
Postdoctoral Associate ; Ph.D., Humboldt University, 2015

Research Focus: Artificial intelligence, information retrieval, computational social science, cognitive science, decision science

Abhishek Anand
Postdoctoral Associate ; Ph.D., Cornell University, 2016

Research Focus: Logic, proof assistants, type theory, formal verification, and robotics

Austin Benson
Postdoctoral Associate ; Ph.D., Stanford University, 2017

Research Focus: network science, scientific computing, machine learning, and data mining

Research Areas: Scientific Computing

Iddo Bentov
Postdoctoral Associate ; Ph.D., Technion, Hafia, 2016

Research Focus: Bitcoin development

Liron Cohen
Postdoctoral Associate ; Ph.D., Tel Aviv University, 2016

Research Focus: Logic, set theory, type theory, and foundations of mathematics

Gao Huang
Postdoctoral Associate ; Ph.D., Tsinghua University, 2015

Research Focus: Machine learning (semi-supervised learning, transfer learning, robust learning), convex optimization

Guillaume Perez
Postdoctoral Associate ; Ph.D., Nice Sophia Antipolis University, 2017

Research Focus: Constraint programming, artificial intelligence, operational research

Research Areas: Artificial Intelligence

Mu Zhang
Postdoctoral Associate ; Ph.D., Syracuse, 2015

Research Focus: System Security, Program Analysis, Smartphone Security, Malware Analysis & Defense, Information Flow Tracking & Control

Research Areas: Security, 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

Klara Kedem
Adjunct Professor ; Ph.D., Tel-Aviv University, 1988

Research Focus: Historical document analysis, image processing, pattern matching

Christoph Kreitz
Adjunct Professor ; Ph.D., Univ of Hagen, 1984

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

Stuart Staniford
Adjunct Professor ; Ph.D., University of California at Davis, 1993

Research Focus: Intrusion detection, internet-scale security issues, computer worms and botnets, societal vulnerability

Jing Xu
Visiting Professor ; Ph.D, Chinese Academy of Sciences, 2002

Research Focus: Applied cryptography, security protocols

Research Areas: Security