 |
|
|
 |
|
 | 
|
|
|
|
|
| |
| | | | | Show pages from United States Show all pages | |
|
 |  | Bacon, Jean
- http://www.cl.cam.ac.uk/~jmb25/
- University of Cambridge - Distributed systems. | |
| | Balakrishnan, M.
- http://www.cse.iitd.ernet.in/~mbala/
- Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture | |
| | Ball, Thomas
- http://www.research.microsoft.com/~tball/
- Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization. | |
| | Banerjee, Subhashis
- http://www.cse.iitd.ernet.in/~suban
- Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics | |
| | Banicescu, Ioana
- http://www.cs.msstate.edu/~ioana
- Mississippi State University - Parallel algorithms, scientific computing, scheduling theory, and computational biology. | |
| | Banks, David
- http://www.cs.fsu.edu/~banks/
- Florida State University - 3D computer graphics and scientific visualization. | |
| | Baquero, Carlos
- http://gsd.di.uminho.pt/cbm/
- Minho University - Distributed systems and mobile computing, Concurrent object-oriented programming. | |
| | Barr, Rimon
- http://rimonbarr.com/
- Cornell University - Distributed systems and database research | |
| | Bartolini, Claudio
- http://www.hpl.hp.com/personal/Claudio_Bartolini/
- HP Labs Palo Alto - Architecture and design of software systems and frameworks; Business activity management. | |
| | Becker, Simon M.
- http://www-i3.informatik.rwth-aachen.de/private/sbecker/index.html
- University of Technology Aachen - Software Engineering, Incremental Integration. | |
| | Bednarik, Roman
- http://cs.joensuu.fi/~rbednari
- University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education. | |
| | Bennett, Charles H.
- http://researchweb.watson.ibm.com/people/b/bennetc/
- IBM Research - Quantum information and computation theory. | |
| | Berar, Sanda
- http://www.geocities.com/sanda_berar/
- Nokia Networks, Helsinki. | |
| | Bergamaschi, Sonia
- http://www.dbgroup.unimo.it/Bergamaschi.html
- Universities of Modena and of Bologna - Inferential techniques for databases, object oriented methods in knowledge representation and databases. | |
| | Bernstein, D. J.
- http://cr.yp.to/djb.html
- University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking | |
| | Bernstein, Herbert J.
- http://arcib.dowling.edu/~BernsteH/
- Dowling College - Bioinformatics, data representation, molecular graphics, laboratory automation, numerical linear algebra, networking and data communications, software engineering. | |
| | Bertozzi, Massimo
- http://www.ce.unipr.it/people/bertozzi/
- University of Parma - Computer vision, learning in vision, artificial intelligence. | |
| | Bhattacharyya, Pushpak
- http://www.cse.iitb.ac.in/~pb/
- Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial Intelligence. | |
| | Bhujade, Moreshwar
- http://www.cse.iitb.ac.in/~mrb/
- Indian Institute of Technology, Bombay - Computer Architecture and Operating systems, Fault tolerent Distributed Algorithms, Neural networks, Speech/Image Processing, Speech technology for Indian languages | |
| | Blackwell, Alan
- http://www.cl.cam.ac.uk/~afb21/
- University of Cambridge - Human-computer interaction, visual interaction. | |
| | Blair, Michael R.
- http://www-swiss.ai.mit.edu/~ziggy/ziggy.html
- MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping. | |
| | Blelloch, Guy
- http://www.cs.cmu.edu/~guyb/home.html
- Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection. | |
| | Blum, Manuel
- http://www.cs.berkeley.edu/~blum/
- University of California, Berkeley - Theoretical computer science, graph theory, cryptography | |
| | Boisvert, Ronald F.
- http://math.nist.gov/~RBoisvert/
- NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science. | |
| | Borning, Alan
- http://www.cs.washington.edu/homes/borning/
- University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling. | |
| | Bowen, Jonathan
- http://www.jpbowen.com/
- London South Bank University - Formal methods, history of computing, online museums. | |
| | Bradfield, Julian
- http://homepages.inf.ed.ac.uk/jcb/
- University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency. | |
| | Brajnik, Giorgio
- http://www.dimi.uniud.it/~giorgio/
- University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems. | |
| | Brandt, Felix
- http://www.tcs.ifi.lmu.de/~brandtf/
- Stanford University, California. Multiagent systems, preference aggregation, auctions, voting, cryptographic protocols, mechanism design, artificial intelligence, and game theory. | |
| | Brankovic, Ljiljana
- http://www.cs.newcastle.edu.au/~lbrankov/
- University of Newcastle - Security of statistical databases. | |
| | Breugel, Franck van
- http://www.cse.yorku.ca/~franck/
- York University, Ontario - Concurrent programming languages, semantics, specification languages. | |
| | Bridges, Susan
- http://www.cs.msstate.edu/~bridges/
- Mississippi State University - Expert systems, knowledge discovery in databases, intelligent interfaces. | |
| | Brill, Eric
- http://www.cs.jhu.edu/~brill
- Johns Hopkins University - Empirical natural language processing, speech recognition, spoken language systems, machine learning, and artificial intelligence. Lexical disambiguation, parsing, classifier combination, spelling correction, language modelling. | |
| | Briot, Jean-Pierre
- http://www-poleia.lip6.fr/~briot/index2.html
- 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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| | | | |
|
