Researchers

Alan Demers

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

Research Focus: Database systems, database replication, and algorithms

Weijia Song

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

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

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

Kristina Sojakova

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

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

Research Areas: Programming Languages

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

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