Researchers

Principal Research Scientists

Alan J. Demers

Alan J. Demers

Principal Research Scientist
Ph.D., Princeton Univ, 1975
Research focus: Database systems, database replication, and algorithms

Robbert van Renesse

Robbert van Renesse

Principal Research Scientist
Ph.D., Vrije Universiteit, 1989
Research focus: Scalable, adaptive, and secure group communication protocols

Research Associates

Lucja Kot

Lucja Kot

Research Associate
Ph.D., Cornell Univ, 2009
Research focus: Databases, collaborative data management, and data integration

 

Vincent Rahli

Research Associate
Ph.D., Heriot-Watt University, 2011
Research focus: Type error slicing, semantics of expansion, reducibility proofs, and implicit complexity

Postdoctoral Associates

Saeed Alaei

Saeed Alaei

Postdoctoral Associate
Ph.D., Univ of Maryland, 2012
Research focus: Mechanism Design & Algorithmic Game Theory, Optimization & Approximation Algorithms

Paul Duetting

Paul Duetting

Postdoctoral Associate
Research focus: Algorithmic mechanism design and algorithmic game theory

Ittay Eyal

Ittay Eyal

Postdoctoral Associate
Ph.D.
Research focus: Distributed systems and algorithms, specifically sensor networks, reliable aggregation of data in such networks, and distributed storage algorithms

Thomas Kesselheim

Thomas Kesselheim

Postdoctoral Associate
Ph.D., RWTH Aachen Univ, 2009
Research focus: Approximation algorithms for spectrum allocation

Jed Liu

Jed Liu

Postdoctoral Associate
Ph.D., Cornell, 2012
Research focus: Distributed systems, security, and programming languages

Mohammad Mahmoody

Emerson Melo

Postdoctoral Associate
Ph.D., Universidad de Chile, 2013
Research focus: Game Theory, Microeconomic Theory, Applied Microeconomics, empirical I.O., and Econometric Theory.

Nicolas Schiper

Nicolas Schiper

Postdoctoral Associate
Ph.D., University of Lugano, Switzerland, 2009
Research focus: Distributed systems, fault-tolerance, scalability

Robert Soule

Robert Soule

Postdoctoral Associate
Ph.D., NYU, 2012
Research focus: Distributed systems, and language support for building systems

Visiting Professors, Fellows/Scientists

Antonio Bahamonde

Antonio Bahamonde

Visiting Professor
Ph.D., Univ of Santiago de Compostela, 1982
Research focus: Machine Learning, Support Vector Machines (SVM), Feature Selection, Ordering

Kun (Brooklyn) He

Kun (Brooklyn) He

Visiting Professor
Research focus: Combinatorial optimization, algorithms for NP hard problems, and theory of computing

Christoph Kreitz

Klara Kedem

Adjunct Professor
Ph.D., Tel-Aviv University, 1988
Research focus: Historical document analysis, image processing, pattern matching

Christoph Kreitz

Christoph Kreitz

Adjunct Professor
Ph.D., Univ of Hagen, 1984
Research focus: Program synthesis, automated deduction, program verification, and formal logics

Fernando Pedone

Fernando Pedone

Visiting Professor
Ph.D., EPFL, 1999
Research focus: Theory and practice of dependable distributed systems and distributed data management systems

Fernando Pedone

Dov Samet

Visiting Professor
Ph.D., The Hebrew University of Jerusalem, 1981
Research focus: Game theory, the logic of interactive epistemology

Stuart Staniford

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

Fernando Pedone

Rui Wang

Visiting Associate Professor
Ph.D., Zhejiang University, 2007
Research focus: Computer graphics, real-time rendering, realistic rendering, parallel graphics algorithms, 3D display techniques.