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., Cornell Univ, 2000
Research focus: Database Theory, Information Privacy, Logic applications to Computer Science

Ph.D., Chalmers Univ of Technology
Research focus: Programming languages: semantics, type systems, program analysis. Security: information-flow policies, declassification, programming language-based techniques for enforcement, implementation of security protocols.

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., Sapienza University, 2010
Research focus: Algorithms and mathematical modeling, particularly in the contexts of social networks and the Web

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

Ph.D., Hebrew Univ, Jerusalem, 2009
Research focus: Computational game theory, algorithmic mechanism design, approximation algorithms, theory of computer science

Ph.D. (Physics), Cornell Univ, 2009
Research focus: Distributed systems and networking

Ph.D., Univ of Mass, Amherst, 2010
Research focus: Knowledge discovery, data mining, database management, social network analysis, and privacy

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

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

Research focus: Real time computer graphics

Ph.D., Columbia Univ, 2010
Research focus: Machine learning and its applications including vector machine, semi-supervised learning, feature selection, dimensionality reduction, metric learning, boosting, online learning etc.

Ph.D., Texas A & M Univ, 2010
Research focus: Visualization, specifically hair meshes, mesh color, and parameterization of catmull-rom curves

M.A., Cornell Univ

Research focus: Combinatorial Optimization, Approximation/Randomization Algorithm, Distributed Network System, Internet Commerce and Social Network, and Flexible Manufacturing System

Ph.D., Cornell Univ, 2003
Research focus: Algorithms and theoretical computer science, specifically applications to networks, auctions and mechanisms design, algorithms on graphs, randomized algorithms, and information flow through networks

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

Research focus: Multiagent systems, service-oriented computer, semantic web and semantic web services, agent-based approaches to e-commerce, and design, analysis and verification of protocols