| Directory > Computers > Computer Science > People Bowen, Jonathan
London South Bank University - Formal methods, history of computing, online museums.
http://www.jpbowen.com/
Reviews Rating: Not yet Rated
Whois Check
Bednarik, Roman
University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education.
http://cs.joensuu.fi/~rbednari
Reviews Rating: Not yet Rated
Whois Check
Becker, Simon M.
University of Technology Aachen - Software Engineering, Incremental Integration.
http://www-i3.informatik.rwth-aachen.de/private/sbecker/index.html
Reviews Rating: Not yet Rated
Whois Check
Ben-Ameur, Houssein
CIRANO (Center for Interuniversity Research on Analysis of Organizations) and Montreal University.
Agent and multi-agent technology, e-business and semantic web.
http://www2.cirano.qc.ca/~benameuh/en/
Reviews Rating: Not yet Rated
Whois Check
Burdakov, Aleksey
Moscow State Technical University - CORBA, Object-oriented DBMSs, Performance evaluation tools and
methods.
http://geocities.com/burdakov
Reviews Rating: Not yet Rated
Whois Check
Baquero, Carlos
Minho University - Distributed systems and mobile computing, Concurrent object-oriented
programming.
http://gsd.di.uminho.pt/cbm/
Reviews Rating: Not yet Rated
Whois Check
Bertozzi, Massimo
University of Parma - Computer vision, learning in vision, artificial intelligence.
http://www.ce.unipr.it/bertozzi
Reviews Rating: Not yet Rated
Whois Check
Bridges, Susan
Mississippi State University - Expert systems, knowledge discovery in databases, intelligent
interfaces.
http://www.cs.msstate.edu/~bridges/
Reviews Rating: Not yet Rated
Whois Check
Bergamaschi, Sonia
Universities of Modena and of Bologna - Inferential techniques for databases, object oriented
methods in knowledge representation and databases.
http://www.dbgroup.unimo.it/Bergamaschi.html
Reviews Rating: Not yet Rated
Whois Check
Bartolini, Claudio
HP Labs Palo Alto - Architecture and design of software systems and frameworks; Business activity
management.
http://www.hpl.hp.com/personal/Claudio_Bartolini/
Reviews Rating: Not yet Rated
Whois Check
Barr, Rimon
Cornell University - Distributed systems and database research
http://www.cs.cornell.edu/barr/home.html
Reviews Rating: Not yet Rated
Whois Check
Berar, Sanda
Nokia Networks, Helsinki.
http://www.geocities.com/sanda_berar/
Reviews Rating: Not yet Rated
Whois Check
Bhattacharjee, Arindam
Assam University, Silchar.
http://arindam_bh.tripod.com
Reviews Rating: Not yet Rated
Whois Check
Bohner, Shawn
Virginia Polytechnic Institute and State University - Software engineering
http://www.nvc.cs.vt.edu/~bohner/sbohner-Webpage.htm
Reviews Rating: Not yet Rated
Whois Check
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.
http://www-poleia.lip6.fr/~briot/index2.html
Reviews Rating: Not yet Rated
Whois Check
Buyya, Rajkumar
Monash University - Computer Architecture, Operating Systems, Compilers, Programming Paradigms,
Parallel and Distributed Computing, Cluster Computing, Parallel I/O.
http://www.rdt.monash.edu.au/~rajkumar/
Reviews Rating: Not yet Rated
Whois Check
Balakrishnan, M.
Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture
http://www.cse.iitd.ernet.in/~mbala/
Reviews Rating: Not yet Rated
Whois Check
Banerjee, Subhashis
Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics
http://www.cse.iitd.ernet.in/~suban
Reviews Rating: Not yet Rated
Whois Check
Ball, Thomas
Microsoft Research - Domain-specific languages, automatic analysis of programs, software
visualization.
http://www.research.microsoft.com/~tball/
Reviews Rating: Not yet Rated
Whois Check
Bennett, Charles H.
IBM Research - Quantum information and computation theory.
http://www.research.ibm.com/people/b/bennetc/
Reviews Rating: Not yet Rated
Whois Check
Banks, David
Florida State University - 3D computer graphics and scientific visualization.
http://www.cs.fsu.edu/~banks/
Reviews Rating: Not yet Rated
Whois Check
Briscoe, Ted
University of Cambridge - Speech and language processing, computational linguistics.
http://www.cl.cam.ac.uk/users/ejb/
Reviews Rating: Not yet Rated
Whois Check
Blackwell, Alan
University of Cambridge - Human-computer interaction, visual interaction.
http://www.cl.cam.ac.uk/users/afb21/
Reviews Rating: Not yet Rated
Whois Check
Bundy, Alan
University of Edinburg - Understanding the structure of mathematical proofs using proof plans,
automated theorem proving.
http://www.dai.ed.ac.uk/daidb/people/homes/bundy/
Reviews Rating: Not yet Rated
Whois Check
Bacon, Jean
University of Cambridge - Distributed systems.
http://www.cl.cam.ac.uk/users/jmb/
Reviews Rating: Not yet Rated
Whois Check
Bradfield, Julian
University of Edinburgh - Verification using temporal logics, computer-aided verification of
potentially infinite systems, logics for true concurrency.
http://www.dcs.ed.ac.uk/~jcb/
Reviews Rating: Not yet Rated
Whois Check
Brankovic, Ljiljana
University of Newcastle - Security of statistical databases.
http://www.cs.newcastle.edu.au/~lbrankov/
Reviews Rating: Not yet Rated
Whois Check
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
http://www.cse.iitb.ernet.in/~mrb/
Reviews Rating: Not yet Rated
Whois Check
Bultan, Tevfik
University of California, Santa Barbara - Computer aided verification, formal methods, static
analysis, model checking.
http://www.cs.ucsb.edu/~bultan/
Reviews Rating: Not yet Rated
Whois Check
Brajnik, Giorgio
University of Udine - Human-computer interfaces for information access, knowledge representation
and reasoning about dynamical systems.
http://www.dimi.uniud.it/~giorgio/
Reviews Rating: Not yet Rated
Whois Check
Bernstein, D. J.
University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number
theory, Networking
http://cr.yp.to/djb.html
Reviews Rating: Not yet Rated
Whois Check
Böhlen, Michael
Aalborg University - Temporal databases, deductive databases, and data warehousing.
http://www.cs.auc.dk/~boehlen/
Reviews Rating: Not yet Rated
Whois Check
Bryant, Barrett R.
University of Alabama at Birmingham - Programming languages, compiler design, formal semantics,
object-oriented technology.
http://www.cis.uab.edu/info/faculty/bryant/bryant.html
Reviews Rating: Not yet Rated
Whois Check
Breugel, Franck van
York University, Ontario - Concurrent programming languages, semantics, specification languages.
http://www.cs.yorku.ca/~franck/
Reviews Rating: Not yet Rated
Whois Check
Borning, Alan
University of Washington - Human-computer interaction, constraint-based languages and systems, and
land use, transportation, and environmental modeling.
http://www.cs.washington.edu/homes/borning/
Reviews Rating: Not yet Rated
Whois Check
Hans J. Boehm
HP Labs - Java, Garbage collection, language theory
http://www.hpl.hp.com/personal/Hans_Boehm/
Reviews Rating: Not yet Rated
Whois Check
Blelloch, Guy
Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language
implementations, multiprocessor garbage collection.
http://www.cs.cmu.edu/~guyb/home.html
Reviews Rating: Not yet Rated
Whois Check
Blair, Michael R.
MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis,
compilation, type theory, subtyping.
http://www-swiss.ai.mit.edu/~ziggy/ziggy.html
Reviews Rating: Not yet Rated
Whois Check
Baker, Henry
Garbage collection, GC, storage management, programming languages, Lisp, Ada, APL, ML, functional
programming, compilers, linear types, reversible computation, parallel languages, quantum
computation.
ftp://ftp.netcom.com/pub/hb/hbaker/home.html
Reviews Rating: Not yet Rated
Whois Check
Boisvert, Ronald F.
NIST - Numerical solution of partial differential equations, mathematical software, and information
services that support computational science.
http://gams.nist.gov/acmd/Staff/RBoisvert/index.html
Reviews Rating: Not yet Rated
Whois Check
Bendix, Lars
Aalborg University - Configuration management maturity model, cooperative editing, general
object-based environments, holistic configuration management.
http://www.cs.auc.dk/~gobe/
Reviews Rating: Not yet Rated
Whois Check
Banicescu, Ioana
Mississippi State University - Parallel algorithms, scientific computing, scheduling theory, and
computational biology.
http://www.cs.msstate.edu/~ioana
Reviews Rating: Not yet Rated
Whois Check
Brill, Eric
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.
http://www.cs.jhu.edu/~brill
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.cs.williams.edu/~kim/
Reviews Rating: Not yet Rated
Whois Check
Boggess, Gene
Mississippi State University - Cognitive science, neural networks, computational linguistics,
genetic algorithms.
http://www.cs.msstate.edu/~gboggess
Reviews Rating: Not yet Rated
Whois Check
|
