People Computer Science Computers

Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism.

    Top: Computers: Computer Science: People: B

  • Bednarik, Roman - University of Joensuu, Finland - HCI, Eye movement people research, Usability, CS education.
  • Bundy, Alan - University of Edinburg - Understanding the structure of people mathematical proofs using proof plans, automated theorem proving.
  • Bhattacharyya, Pushpak - Indian Institute of Technology, Bombay - Neural Network b Theory and computer science Applications, Formal and Empirical Machine Learning, b Natural Language Understanding, Distributed computer science Artificial Intelligence.
  • Bergamaschi, Sonia - Universities of Modena and of Bologna - Inferential computer science techniques for databases, object oriented methods in knowledge computer science representation and databases.
  • Blelloch, Guy - Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, computer science provably computer science efficient language implementations, multiprocessor garbage collection.
  • Barr, Rimon - Cornell University - Distributed systems and database research
  • Briscoe, Ted - University of Cambridge - Speech and language processing, computational linguistics.
  • Bradfield, Julian - University of Edinburgh - Verification using temporal logics, b computer-aided verification of potentially infinite systems, logics for b true concurrency.
  • Bacon, Jean - University of Cambridge - Distributed systems.
  • Blackwell, Alan - University of Cambridge - Human-computer interaction, visual interaction.
  • Bruce, Kim B. - Williams College - Semantics and design of programming languages, type computer science theory, object-oriented languages, models of higher-order lambda calculus including subtypes computer science and bounded polymorphism.
  • Berar, Sanda - Nokia Networks, Helsinki.
  • Ball, Thomas - Microsoft Research - Domain-specific languages, automatic analysis of people programs, software visualization.
  • Bultan, Tevfik - University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.
  • Brajnik, Giorgio - University of Udine - Human-computer interfaces for information access, knowledge computer science representation and reasoning about dynamical systems.
  • Bernstein, Herbert J. - Dowling College - Bioinformatics, data representation, molecular graphics, laboratory automation, numerical linear algebra, networking and data communications, software engineering.
  • Bhujade, Moreshwar - Indian Institute of Technology, Bombay - Computer Architecture b and Operating systems, Fault tolerent Distributed Algorithms, Neural b networks, Speech/Image Processing, Speech technology for Indian languages
  • Baquero, Carlos - Minho University - Distributed systems and mobile computing, Concurrent object-oriented programming.
  • Bryant, Barrett R. - University of Alabama at Birmingham - Programming languages, computer science compiler b design, formal semantics, object-oriented technology.
  • Borning, Alan - University of Washington - Human-computer interaction, constraint-based b languages and b systems, and land use, transportation, and b environmental modeling.
  • Bartolini, Claudio - HP Labs Palo Alto - Architecture and design of software people systems and frameworks; Business activity management.
  • Briot, Jean-Pierre - Laboratoire d\\'Informatique de Paris - Object-oriented programming, people concurrency/parallelism, distributed programming, flexible and adaptive programs, people meta-programming and reflection, artificial intelligence, multi-agent systems, people software agents, mobile
  • Bernstein, D. J. - University of Illinois, Chicago - Computer hardware, Data structures, Fast b arithmetic, Number theory, Networking
  • Brankovic, Ljiljana - University of Newcastle - Security of statistical databases.
  • Banerjee, Subhashis - Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics
  • Bertozzi, Massimo - University of Parma - Computer vision, learning in people vision, artificial b intelligence.
  • Blum, Manuel - University of California, Berkeley - Theoretical computer science, graph theory, people cryptography
  • Burdakov, Aleksey - Moscow State Technical University - CORBA, Object-oriented DBMSs, b Performance evaluation b tools and methods.
  • Becker, Simon M. - University of Technology Aachen - Software Engineering, Incremental Integration.
  • Breugel, Franck van - York University, Ontario - Concurrent programming languages, semantics, people specification languages.
  • Brandt, Felix - Stanford University, California. Multiagent systems, preference aggregation, auctions, computer science voting, cryptographic protocols, mechanism design, artificial intelligence, and computer science game theory.
  • Boisvert, Ronald F. - NIST - Numerical solution of partial differential equations, b mathematical software, b and information services that support computational b science.
  • Hans J. Boehm - HP Labs - Java, Garbage collection, language theory
  • Balakrishnan, M. - Indian Institute of Technology, Delhi - CAD for computer science VLSI, people Computer Architecture
  • Blair, Michael R. - MIT - Dynamically adaptive profile-guided specialization, partial people evaluation, program analysis, people compilation, type theory, subtyping.
  • Bennett, Charles H. - IBM Research - Quantum information and computation theory.
  • Banks, David - Florida State University - 3D computer graphics and scientific visualization.

   MySQL - Cache Direct