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

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

Ph.D., Univ of Glasgow, 2009
Research focus: Statistical Machine Learning, Pattern Recognition, Artificial Intelligence

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

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

Research focus: Design and analysis of energy and time efficient communication protocols, design and evaluation of distributed systems and communication networks, and complexity of combinatorial algorithms

Ph.D., Harvard Univ, 2010
Research focus: Cryptography, complexity theory, and pseudorandomness

Research focus: Computational Sustainability, Constraint reasoning and optimization, Scheduling, Hybrid search techniques, Game theory

Research focus: Algorithmic mechanism design and algorithmic game theory

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

Ph.D., Brown Univ, 2012
Research focus: Programming languages and security

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

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

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

Ph.D., University of Nice at Sophia Antipolis, 2011
Research focus: Workflow enactment on computational grids for data intensive applications.

Ph.D., Princeton Univ, 2010
Research focus: Theoretical Computer Science in general,

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

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

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

Ph.D., Imperial College of Science and Technology, University of London, 1994
Research focus: Automated Deduction, Databases, Combinatorial Calculus, Combining Logic Systems, Temporal Logic and Computational Linguistics

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

Ph.D., Rutgers Univ, 1989
Research focus: Algorithmic functional programming

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

Ph.D., Carnegie Mellon Univ, 2009
Research focus: Algorithms, particularly online algorithms, algorithmic game theory, and data privacy

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

Ph.D., UFMG, Brazil, 2009
Research focus: Machine learning, and large scale parallel and distributed data mining algorithms and applications

Ph.D., Univ of Washington, 2010
Research focus: Advanced static analyses for detecting concurrency bugs