HP Labs Palo Alto - Architecture and design of
software systems and frameworks; Business activity management.University of Joensuu, Finland - HCI,
Eye movement research, Usability, CS education.MIT - Dynamically adaptive profile-guided specialization
, partial evaluation, program analysis, compilation, type theory, subtyping.
Bowen, Jonathan
www7
.in.tum.de/~brandtf/studies.shtml
University of Cambridge - Speech and language processing, computational
linguistics.
aleksey rimon
www.ce.unipr.it/bertozzi
Indian Institute of Technology, Bombay - Neural Network Theory and
Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial
Intelligence.Indian Institute of Technology, Bombay - Computer Architecture and Operating systems, Fault
tolerent Distributed Algorithms, Neural networks, Speech/Image Processing, Speech technology for Indian
languages
Bohner, Shawn
www.dcs.ed.ac.uk/~jcb/
bartolini deductive
www.geocities.com/sanda_berar/
University of Cambridge -
Human-computer interaction, visual interaction.
Bradfield, Julian
Bridges, Susan
rimon pushpak
www.cse.iitd.ernet.in
/~mbala/
Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization
.University of Washington - Human-computer interaction, constraint-based languages and systems, and
land use, transportation, and environmental modeling.
bartolini parallelism
gsd.di.uminho.pt/cbm/
Becker, Simon M.
Universities
of Modena and of Bologna - Inferential techniques for databases, object oriented methods in knowledge
representation and databases.
Blackwell, Alan
www.cs.cmu.edu/~guyb/home.html
NIST - Numerical solution
of partial differential equations, mathematical software, and information services that support computational
science.
www.cs.msstate.edu/~bridges/
Bryant, Barrett R.
Burdakov, Aleksey
rajkumar sanda
www.cs.msstate.edu/~ioana
Mississippi
State University - Expert systems, knowledge discovery in databases, intelligent interfaces.
ljiljana rimon
www.cs.fsu
.edu/~banks/
Baquero, Carlos
Barr, Rimon
Nokia Networks, Helsinki.University of Illinois, Chicago - Computer
hardware, Data structures, Fast arithmetic, Number theory, Networking
Briot, Jean-Pierre
www.cis.uab.edu
/info/faculty/bryant/bryant.html
www.dai.ed.ac.uk/daidb/people/homes/bundy/
bartolini rimon
Mississippi State University
- Parallel algorithms, scientific computing, scheduling theory, and computational biology.
Bartolini
, Claudio
www-i3.informatik.rwth-aachen.de/private/sbecker/index.html
University of Edinburgh - Verification
using temporal logics, computer-aided verification of potentially infinite systems, logics for true
concurrency.University of Newcastle - Security of statistical databases.
Briscoe, Ted
deductive rimon
Balakrishnan, M
.
Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture
rimonbarr.com/
Bernstein,
Herbert J.
Moscow State Technical University - CORBA, Object-oriented DBMSs, Performance evaluation tools
and methods.
Buyya, Rajkumar
Hans J. Boehm
subtypes boehm
Ball, Thomas
www.research.ibm.com/people/b/bennetc/
Bernstein
, D. J.
arcib.dowling.edu/~BernsteH/
University of California, Berkeley - Theoretical computer science
, graph theory, cryptography
www.dimi.uniud.it/~giorgio/
www.cs.yorku.ca/~franck/
Lexical disambiguation
, parsing, classifier combination, spelling correction, language modelling.University of Alabama at
Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology.
www
.cs.auc.dk/~boehlen/
HP Labs - Java, Garbage collection, language theory
bartolini deductive
www.research.microsoft.com/~tball
/
Florida State University - 3D computer graphics and scientific visualization.
Bertozzi, Massimo
University
of Udine - Human-computer interfaces for information access, knowledge representation and reasoning
about dynamical systems.
www.rdt.monash.edu.au/~rajkumar/
boehm babbage
Bergamaschi, Sonia
cr.yp.to/djb.html
Bhujade,
Moreshwar
www.cse.iitb.ac.in/~mrb/
Blum, Manuel
Borning, Alan
www.cs.washington.edu/homes/borning/
Stanford
University, California.
Breugel, Franck van
www.cs.ucsb.edu/~bultan/
University of California, Santa Barbara
- Computer aided verification, formal methods, static analysis, model checking.
Bundy, Alan
berarbeiten parallelism
University
of Cambridge - Distributed systems.
Bednarik, Roman
cs.joensuu.fi/~rbednari
www.cse.iitb.ac.in/~pb/
www
.jpbowen.com/
aleksey tevfik
Banerjee, Subhashis
Banicescu, Ioana
Banks, David
Bruce, Kim B.
www.cs.williams.edu/~kim/
geocities
.com/burdakov/
rajkumar ljiljana
www.cse.iitd.ernet.in/~suban
www-swiss.ai.mit.edu/~ziggy/ziggy.html
Brankovic, Ljiljana
www
.hpl.hp.com/personal/Hans_Boehm/
tevfik subtyping
Bacon, Jean
www.dbgroup.unimo.it/Bergamaschi.html
Carnegie Mellon - Thread
scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage
collection.
www.cs.berkeley.edu/~blum/
Brandt, Felix
York University, Ontario - Concurrent programming
languages, semantics, specification languages.Williams College - Semantics and design of programming
languages, type theory, object-oriented languages, models of higher-order lambda calculus including
subtypes and bounded polymorphism.
inferential classifier
Indian Institute of Technology, Delhi - Computer Vision, Real-time
Systems, Robotics
Blair, Michael R.
Blelloch, Guy
www.cs.jhu.edu/~brill
www-poleia.lip6.fr/~briot/index2
.html
boehm aleksey
University of Technology Aachen - Software Engineering, Incremental Integration.
Berar, Sanda
Bhattacharyya
, Pushpak
Virginia Polytechnic Institute and State University - Software engineering
ioana boehm
www.cl.cam.ac.uk/users
/jmb/
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.Monash University
- Computer Architecture, Operating Systems, Compilers, Programming Paradigms, Parallel and Distributed
Computing, Cluster Computing, Parallel I/O.
B hlen, Michael
parallelism tevfik
Minho University - Distributed systems and
mobile computing, Concurrent object-oriented programming.
Boisvert, Ronald F.
London South Bank University
- Formal methods, history of computing, online museums.
Brajnik, Giorgio
Multiagent systems, preference
aggregation, auctions, voting, cryptographic protocols, mechanism design, artificial intelligence, and
game theory.
Bultan, Tevfik
sanda multiprocessor
Bennett, Charles H.
berarbeiten rajkumar
Cornell University - Distributed systems and database research
Brill, Eric
disambiguation multiagent
Dowling College - Bioinformatics, data representation, molecular graphics, laboratory automation
, numerical linear algebra, networking and data communications, software engineering.
gams.nist.gov/acmd
/Staff/RBoisvert/index.html
University of Edinburg - Understanding the structure of mathematical proofs
using proof plans, automated theorem proving.
polymorphism boisvert
IBM Research - Quantum information and computation theory
.
www.cl.cam.ac.uk/users/afb21/
www.nvc.cs.vt.edu/~bohner/sbohner-Webpage.htm
www.cs.newcastle.edu.au/~lbrankov
/
Johns Hopkins University - Empirical natural language processing, speech recognition, spoken language
systems, machine learning, and artificial intelligence.Aalborg University - Temporal databases, deductive
databases, and data warehousing.
sanda deductive
www.hpl.hp.com/personal/Claudio_Bartolini/
University of Parma - Computer
vision, learning in vision, artificial intelligence.
www.cl.cam.ac.uk/users/ejb/
provably berarbeiten
