Computer Science

Elmasri, Ramez Elmasri, Ramez- University of Texas in Arlington - Temporal databases, conceptual modeling, object-oriented databases, systems integration, distributed and multi-database systems,… D'Angelo, Angelo D'Angelo, Angelo- University of Udine - Autonomous robot control, behaviour-based planning, coordination among autonomus agents, self-organization in autonomous robotics. Di Gianantonio, Pietro Di Gianantonio, Pietro- University of Udine - Real number computability, semantics of concurrency, lambda-calculus. Dawar, Anuj Dawar, Anuj- University of Cambridge - Applications of logic to computing, finite model theory, computational complexity. Daugman, John Daugman, John- University of Cambridge - Neuroscience, statistical pattern recognition, wavelets, computer vision. Duch, Wlodzislaw Duch, Wlodzislaw- Nicholas Copernicus University - Local learning, Machine Learning and Pattern Recognition, NeuroFuzzy systems, Cognition, Computational neurobiology, Application… Dodgson, Neil Dodgson, Neil- University of Cambridge - Autostereoscopic 3D imaging, rendering algorithms, compression. Dehne, Frank Dehne, Frank- School of Computer Science, Carleton University - Parallel Computing, Coarse Grained Parallel Algorithms, Parallel Data Mining and OLAP, Computational Geometry, Imag… Dhamdhere, Dhananjay Dhamdhere, Dhananjay- Indian Institute of Technology, Bombay - Distributed Algorithms, Programming Languages, Operating Systems, Optimizing Compilers Diwan, Ajit Diwan, Ajit- Indian Institute of Technology, Bombay - Algorithms, Graph theory, Combinatorics Davies, Rowan Davies, Rowan- Carnegie Mellon University - Standard ML with refinement-type checking, relationships between modal logics and programming languages. Day, Bill Day, Bill- Technology Evangelist at Sun Microsystems, interests include software and aerospace engineering, molecular nanotechnology, streaming media and multimedia, java, and com… Charniak, Eugene Charniak, Eugene- Brown University - Influential researcher in Natural Language Processing and Artificial Intelligence. His home page features some of his publications, in postscr… Ceri, Stefano Ceri, Stefano- Politecnico di Milano - Extending database technology to incorporate data distribution, deductive and active rules; object-orientation design methods for data-inten… Chittaro, Luca Chittaro, Luca- University of Udine - Knowledge-based systems (diagnosis, temporal reasoning, modeling of physical systems, qualitative reasoning) and human-computer interaction (… Carroll, John Carroll, John- University of Sussex at Brighton - Natural language processing, stochastic lexicalized grammars, shallow parsing and knowledge extraction, parsing disambiguation an… Costa, Ernesto Costa, Ernesto- University of Coimbra, Portugal - Artificial intelligence, evolutionary computation. Ciaccia, Paolo Ciaccia, Paolo- University of Bologna - Content-based retrieval, data models, query languages, similarity queries, fuzzy retrieval, the M-tree, signature files, grid files, schema… Cardelli, Luca Cardelli, Luca- Microsoft Research - Type theory and operational semantics, mostly for applications to language design, semantics, and implementation. Semantic and type-theoretic … Cattani, Gian Luca Cattani, Gian Luca- Applications of category theory to computer science, semantics of concurrent process languages. Chen, Hubie Chen, Hubie- Universitat Pompeu Fabra, Barcelona - Theoretical computer science, logic, reasoning. Chakrabarti, Soumen Chakrabarti, Soumen- Indian Institute of Technology, Bombay - Information Retrieval, Text Databases, Data Mining. Chakraborty, Supratik Chakraborty, Supratik- Indian Institute of Technology, Bombay - Formal techniques for analysis, Verification, Validation of digital systems, Asynchronous timing analysis. Chandran, Sharat Chandran, Sharat- Indian Institute of Technology, Bombay - Graphics, Computer Vision, Computational Geometry, Parallel Algorithms. Cormen, Thomas H. Cormen, Thomas H.- Associate Professor at Dartmouth, and co-author of arguably the leading textbook on algorithms. Crépeau, Claude Crépeau, Claude- McGill University - Cryptographic protocols, quantum cryptography, quantum teleportation, quantum computing, and coding theory. Collini-Nocker, Bernhard Collini-Nocker, Bernhard- University of Salzburg - Network traffic measurements, LAN interconnection via satellite, and interactive multimedia satellite information services. Bennett, Charles H. Bennett, Charles H.- IBM Research - Quantum information and computation theory. Bowen, Jonathan Bowen, Jonathan- London South Bank University - Formal methods, history of computing, online museums. Blelloch, Guy Blelloch, Guy- Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection. Blair, Michael R. Blair, Michael R.- MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping. Brajnik, Giorgio Brajnik, Giorgio- University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems. Blackwell, Alan Blackwell, Alan- University of Cambridge - Human-computer interaction, visual interaction. Briscoe, Ted Briscoe, Ted- University of Cambridge - Speech and language processing, computational linguistics. Bacon, Jean Bacon, Jean- University of Cambridge - Distributed systems. Breugel, Franck van Breugel, Franck van- York University, Ontario - Concurrent programming languages, semantics, specification languages. Brandt, Felix Brandt, Felix- Stanford University, California. Multiagent systems, preference aggregation, auctions, voting, cryptographic protocols, mechanism design, artificial intelligence, a… Bradfield, Julian Bradfield, Julian- University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency. Boisvert, Ronald F. Boisvert, Ronald F.- NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science. Bertozzi, Massimo Bertozzi, Massimo- University of Parma - Computer vision, learning in vision, artificial intelligence. Bundy, Alan Bundy, Alan- University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving. Bhattacharyya, Pushpak Bhattacharyya, Pushpak- Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Dis… Bednarik, Roman Bednarik, Roman- University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education. Becker, Simon M. Becker, Simon M.- University of Technology Aachen - Software Engineering, Incremental Integration. Briot, Jean-Pierre Briot, Jean-Pierre- Laboratoire d'Informatique de Paris - Object-oriented programming, concurrency/parallelism, distributed programming, flexible and adaptive programs, meta-progr… Balakrishnan, M. Balakrishnan, M.- Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture Banerjee, Subhashis Banerjee, Subhashis- Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics Ball, Thomas Ball, Thomas- Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization. Brankovic, Ljiljana Brankovic, Ljiljana- University of Newcastle - Security of statistical databases. Bultan, Tevfik Bultan, Tevfik- University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.