|
|
| Giga Bits (more) | Algorithms | Department of Computer Science | 206 |
| 2002 | 2000 | 1999 | Carnegie Mellon University |
| 2001 | 1975 | 1997 | assistant professor |
 |
Bernstein, D. J. University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking cr.yp.to/djb.html - cached - |
|
Hans J. Boehm HP Labs - Java, Garbage collection, language theory Search in Category: Regional: Europe: United Kingdom: England: Bristol: Business and Economy: Computers and Internet Search in Category: Science: Institutions: Research Institutes: Corporate Research: Hewlett-Packard Laboratories www.hpl.hp.com/personal/Hans_Boehm - indexed: 6 days ago - cached - |
|
Ball, Thomas Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization. www.research.microsoft.com/~tball - cached - | |
|
Bartolini, Claudio HP Labs Palo Alto - Architecture and design of software systems and frameworks; Business activity management. Search in Category: Regional: Europe: United Kingdom: England: Bristol: Business and Economy: Computers and Internet Search in Category: Science: Institutions: Research Institutes: Corporate Research: Hewlett-Packard Laboratories www.hpl.hp.com/personal/Claudio_Bartolini - indexed: 6 days ago - cached - | |
|
Bednarik, Roman University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education. cs.joensuu.fi/~rbednari - indexed: 6 days ago - published: Jul 01 2007 - cached - | |
|
Bergamaschi, Sonia Universities of Modena and of Bologna - Inferential techniques for databases, object oriented methods in knowledge representation and databases. www.dbgroup.unimo.it/Bergamaschi.html - indexed: 6 days ago - cached - | |
|
Bertozzi, Massimo University of Parma - Computer vision, learning in vision, artificial intelligence. www.ce.unipr.it/people/bertozzi - | |
|
Bhattacharyya, Pushpak Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial Intelligence. Search in Category: Computers: Computer Science: Academic Departments: Asia: India Search in Category: Science: Technology: Academia: Engineering Colleges www.cse.iitb.ac.in/~pb - indexed: 6 days ago - modified: 2 months ago - cached - | |
|
Blackwell, Alan University of Cambridge - Human-computer interaction, visual interaction. Search in Category: Reference: Education: Colleges and Universities: Europe: United Kingdom: England: University of Cambridge: Departments and Programs: School of Technology: Computer Laboratory www.cl.cam.ac.uk/~afb21 - cached - | |
|
Blum, Manuel University of California, Berkeley - Theoretical computer science, graph theory, cryptography Search in Category: Computers: Computer Science: Academic Departments: North America: United States: California Search in Category: Reference: Education: Colleges and Universities: North America: United States: California: University of California: Berkeley: Departments and Programs www.cs.berkeley.edu/~blum - cached - | |
|
Borning, Alan University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling. Search in Category: Computers: Computer Science: Academic Departments: North America: United States: Washington Search in Category: Reference: Education: Colleges and Universities: North America: United States: Washington: University of Washington: Seattle: Departments and Programs Search in Category: Regional: North America: United States: Washington: Localities: S: Seattle: Education: Colleges and Universities www.cs.washington.edu/homes/borning - cached - | |
|
Bruce, Kim B. Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism. www.cs.williams.edu/~kim - indexed: 6 days ago - cached - | |
|
Bryant, Barrett R. University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology. Search in Category: Computers: Computer Science: Academic Departments: North America: United States: Alabama Search in Category: Reference: Education: Colleges and Universities: North America: United States: Alabama: University of Alabama: Birmingham www.cis.uab.edu/info/faculty/bryant/bryant.html - indexed: 6 days ago - published: Aug 23 2005 - cached - | |
|
Bultan, Tevfik University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking. Search in Category: Computers: Computer Science: Academic Departments: North America: United States: California Search in Category: Reference: Education: Colleges and Universities: North America: United States: California: University of California: Santa Barbara: Departments and Programs: College of Engineering www.cs.ucsb.edu/~bultan - indexed: 6 days ago - cached - | |
|
Bundy, Alan University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving. homepages.inf.ed.ac.uk/bundy - cached - | |
|
Balakrishnan, M. Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture Search in Category: Computers: Computer Science: Academic Departments: Asia: India Search in Category: Reference: Education: Colleges and Universities: Asia: India: Delhi: Indian Institute of Technology - Delhi: Departments www.cse.iitd.ernet.in/~mbala - published: Sep 01 2008 - cached - | |
|
Banerjee, Subhashis Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics Search in Category: Computers: Computer Science: Academic Departments: Asia: India Search in Category: Reference: Education: Colleges and Universities: Asia: India: Delhi: Indian Institute of Technology - Delhi: Departments www.cse.iitd.ernet.in/~suban - indexed: 6 days ago - cached - | |
|
Banks, David Florida State University - 3D computer graphics and scientific visualization. lmi.bwh.harvard.edu/~banks - published: Mar 01 1997 - cached - | |
|
Baquero, Carlos Minho University - Distributed systems and mobile computing, Concurrent object-oriented programming. gsd.di.uminho.pt/cbm - cached - | |
|
Barr, Rimon Cornell University - Distributed systems and database research www.rimonbarr.com - cached - | |
|
Bennett, Charles H. IBM Research - Quantum information and computation theory. Search in Category: Computers: Internet: Resources: Research Search in Category: Science: Technology: Academia: Research Centers and Laboratories researchweb.watson.ibm.com/people/b/bennetc - cached - | |
|
Bernstein, Herbert J. Dowling College - Bioinformatics, data representation, molecular graphics, laboratory automation, numerical linear algebra, networking and data communications, software engineering. Search in Category: Science: Biology: Bioinformatics: Software arcib.dowling.edu/~BernsteH - published: Oct 02 2008 - cached - | |
|
Bhujade, Moreshwar Indian Institute of Technology, Bombay - Computer Architecture and Operating systems, Fault tolerent Distributed Algorithms, Neural networks, Speech/Image Processing, Speech technology for Indian languages Search in Category: Computers: Computer Science: Academic Departments: Asia: India Search in Category: Science: Technology: Academia: Engineering Colleges www.cse.iitb.ac.in/~mrb - indexed: 6 days ago - cached - | |
|
Blair, Michael R. MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping. www-swiss.ai.mit.edu/~ziggy/ziggy.html - published: Oct 28 1995 - cached - | |
|
Simon M. Becker's Homepage My main research interest is Software Engineering, especially Data Integration and Process Management. I am a member of the collaborative research center IMPROVE, dealing with computer science support for development processes in chemical engineering. There, I am working on the project B2: Incremental Integration Tools. Incremental Integration Tools are used in development processes to keep dependent documents consistent to each other on the fine-grained level.. ... www-i3.informatik.rwth-aachen.de/private/sbecker - cached - | |
|
Blelloch, Guy Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection. Search in Category: Society: People: College Life: Carnegie Mellon University: Faculty and Staff Search in Category: Computers: Artificial Intelligence: Philosophy: Research Centers Search in Category: Reference: Education: Colleges and Universities: North America: United States: Pennsylvania: Carnegie Mellon University: Departments and Programs www.cs.cmu.edu/~guyb/home.html - cached - | |
|
Boisvert, Ronald F. NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science. math.nist.gov/~RBoisvert - indexed: 6 days ago - published: Aug 21 2008 - cached - | |
|
Bradfield, Julian University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency. homepages.inf.ed.ac.uk/jcb - published: Sep 01 2008 - cached - | |
|
Brandt, Felix Stanford University, California. Multiagent systems, preference aggregation, auctions, voting, cryptographic protocols, mechanism design, artificial intelligence, and game theory. www.tcs.ifi.lmu.de/~brandtf - cached - | |
|
Brankovic, Ljiljana University of Newcastle - Security of statistical databases. www.cs.newcastle.edu.au/~lbrankov - cached - | |
|
Breugel, Franck van York University, Ontario - Concurrent programming languages, semantics, specification languages. www.cse.yorku.ca/~franck - indexed: 6 days ago - cached - | |
|
Briot, Jean-Pierre Laboratoire d'Informatique de Paris - Object-oriented programming, concurrency/parallelism, distributed programming, flexible and adaptive programs, meta-programming and reflection, artificial intelligence, multi-agent systems, software agents, mobile agents, artificial life, computer music. www-poleia.lip6.fr/~briot/index2.html - indexed: 6 days ago - published: Mar 22 2007 - cached - | |
|
Briscoe, Ted University of Cambridge - Speech and language processing, computational linguistics. Search in Category: Reference: Education: Colleges and Universities: Europe: United Kingdom: England: University of Cambridge: Departments and Programs: School of Technology: Computer Laboratory www.cl.cam.ac.uk/~ejb1 - cached - | |
|
Brajnik, Giorgio University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems. users.dimi.uniud.it/~giorgio.brajnik - indexed: 6 days ago - cached - | |
|