Balakrishnan, M.
Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture
Ball, Thomas
Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization.
Banerjee, Subhashis
Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics
Baquero, Carlos
Minho University - Distributed systems and mobile computing, Concurrent object-oriented programming.
Becker, Simon M.
University of Technology Aachen - Software Engineering, Incremental Integration.
Bednarik, Roman
University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education.
Bernstein, D. J.
University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking
Bhattacharyya, Pushpak
Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial Intel…
Bhujade, Moreshwar
Indian Institute of Technology, Bombay - Computer Architecture and Operating systems, Fault tolerent Distributed Algorithms, Neural networks, Speech/Image Processing, Speech techno…
Blackwell, Alan
University of Cambridge - Human-computer interaction, visual interaction.
Blair, Michael R.
MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.
Blelloch, Guy
Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.
Borning, Alan
University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.
Bradfield, Julian
University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.
Breugel, Franck van
York University, Ontario - Concurrent programming languages, semantics, specification languages.
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 poly…
Bultan, Tevfik
University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.
Showing 20–20 of 21 results