| 501 Marc Pollefeys (Full Professor, Computer Vision and Geometry lab Institute of Visual Computing Department of Computer Science ETH Zurich) |
| |
|
||||
| Expertise: Augmented Reality / Digital Weaving Object Recognition / Two-View Motion Estimation | |||||
| 502 A. Murat Tekalp (Professor, Department of Electrical and Computer Engineering Center for Electronic Imaging Systems Center for Future Health) |
|
|
||||
| Expertise: Scalable video coding / Rate control Wavelet image coding / Video compression Object Recognition / Two-View Motion Estimation | |||||
| 503 Haim Kaplan (School of Computer Science Tel Aviv University) |
| |
|
||||
| Expertise: Wireless network / End-to-end Routing Behavior Communication Complexity / Lower Bounds Approximation Algorithms / Perfect Graphs Data Compression / Arithmetic Coding Convex Polygons / Planar Arrangements | |||||
| 504 Gustavo Alonso (Professor, Systems Group Department of Computer Science ETH Zurich. ) |
|
|
||||
| Expertise: Web Services / Mobile Agents Real-Time Systems / Automated Software Test Data XML Data Database Systems File System / Software Systems Computing Systems / Fault-Tolerant Real-Time | |||||
| 505 D. Gajski (Professor and Director, Center for Embedded Computer Systems (CECS) University of California ) |
| |
|
||||
| Expertise: Real-Time Systems Power optimization / Synchronous Sequential Circuits | |||||
| 506 Matthias Felleisen (Trustee Professor of Computer Science, Northeastern University) |
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis | |||||
| 507 E. Gelenbe (Professor in the Dennis Gabor Chair, Electrical and Electronic Engineering Department, Imperial College London) |
| |
|
||||
| Expertise: Queueing Networks / Time-dependent performance analysis | |||||
| 508 Fabio Casati (Professor, Department of Information and Communication Technology University of Trento) |
|
|
||||
| Expertise: Web Services / Mobile Agents Web Service XML Data Web Data / Database design Database Systems | |||||
| 509 Eitan Altman (Senior Researchers, INRIA Sophia-Antipolis) |
| |
|
||||
| Expertise: Wireless network / End-to-end Routing Behavior ATM Networks Wireless Networks / Priority Scheduling Queueing Networks / Time-dependent performance analysis | |||||
| 510 Jehoshua Bruck (Professor, Computation and Neural Systems & Electrical Engineering) |
| |
|
||||
| Expertise: Communication Complexity / Lower Bounds Channel state information / Universal coding Dynamic Networks / Extended Abstract Logic Networks / Fault Simulation Binary code / Error detection Parallel Algorithms / Wormhole Networks | |||||
| 511 A. E. Kaufman (Distinguished Professor and Chairman, Department of Computer Science Stony Brook University ) |
| |
|
||||
| Expertise: Interactive Visualization / Computer graphics | |||||
| 512 L. Libkin (Professor, Department of Computer Science University of Toronto) |
| |
|
||||
| Expertise: Finite Languages / Database Queries Database Systems Logic Programs / Algebraic Semantics | |||||
| 513 Stefano Soatto (Professor, UCLA COMPUTER SCIENCE DEPARTMENT) |
| |
|
||||
| Expertise: Object Recognition / Two-View Motion Estimation | |||||
| 514 R. Srikant (Professor, Department of Electrical and Computer Engineering Coordinated Science Laboratory University of Illinois at Urbana-Champaign) |
| |
|
||||
| Expertise: Channel state information / Universal coding ATM Networks Queueing Networks / Time-dependent performance analysis | |||||
| 515 Yuri Gurevich (Principal Researcher, Microsoft Research) |
| |
|
||||
| Expertise: Communication Complexity / Lower Bounds Model Checking / Hybrid Systems Finite Languages / Database Queries Logic Programs / Algebraic Semantics Infinitary Logic / Recursive Models | |||||
| 516 Shang Hua Teng (Professor, Department of Computer Science Boston University) |
| |
|
||||
| Expertise: Communication Complexity / Lower Bounds Wireless Networks / Algorithmic Complexity Approximation Algorithms / Perfect Graphs Convex Polygons / Planar Arrangements Parallel Algorithms / Wormhole Networks | |||||
| 517 Jun Yang (Assistant Professor, Computer Science Department Duke University) |
| |
|
||||
| Expertise: Large-scale video retrieval Wideband Systems / Channel Estimation Minimax design / FIR Filters XML Data Instruction Cache Organizations / Branch Prediction Low power design / Behavioral Synthesis | |||||
| 518 Chandrajit Bajaj (Professor of Computer Sciences Director of Center for Computational Visualization , Department of Computer Sciences The Institute of Computational Engineering and Sciences) |
| |
|
||||
| Expertise: Mesh Generation / Two-Dimensional Unstructured Meshes Surface interpolation / Geometric modeling Interactive Visualization / Computer graphics Convex Polygons / Planar Arrangements | |||||
| 519 Tamal K. Dey (Professor, Department of Computer Science and Engineering The Ohio State University ) |
| |
|
||||
| Expertise: Convex Polygons / Planar Arrangements | |||||
| 520 Carlo Zaniolo (Professor, UCLA Computer Science Department) |
| |
|
||||
| Expertise: Logic Programs Data mining XML Data Web Data / Database design Database Systems | |||||
| 521 Y. Rabani (Computer Science Department Technion - Israel Institute of Technology) |
|
|
||||
| Expertise: Communication Complexity / Lower Bounds | |||||
| 522 Chandra Chekuri (Associate Professor, Algorithms/Theory Group Department of Computer Science University of Illinois Urbana-Champaign ) |
|
|
||||
| Expertise: Communication Complexity / Lower Bounds Channel state information / Universal coding Approximation Algorithms / Perfect Graphs Combinatorial optimization problem / Linear Programming | |||||
| 523 Christof Paar (Chair for Embedded Security Professor) |
|
|
||||
| Expertise: Reconfigurable Hardware Signature Schemes / Authenticated Key Exchange Secure Logic Networks / Fault Simulation | |||||
| 524 Jeffrey Xu Yu (Professor, The Chinese University of Hong Kong) |
| |
|
||||
| Expertise: Data mining XML Data Web Data / Database design Data Mining / Query Processing | |||||
| 525 N. H. Vaidya (Professor , Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign) |
| |
|
||||
| Expertise: Wireless network / End-to-end Routing Behavior ATM Networks Wireless Networks / Priority Scheduling Logic Networks / Fault Simulation | |||||
| 526 P. Maes (associate professor, MIT's Program in Media Arts and Sciences) |
| 527 R. Kimmel (Professor, Department of Computer Science Technion - Israel Institute of Technology) |
| |
|
||||
| Expertise: Object Recognition / Two-View Motion Estimation Image analysis / Computer vision | |||||
| 528 Sudipto Guha (Department of Computer and Information Science University of Pennsylvania) |
|
|
||||
| Expertise: Communication Complexity / Lower Bounds Approximation Algorithms / Perfect Graphs XML Data | |||||
| 529 S. Seshan (Assistant Professor, School of Computer Science Carnegie Mellon University) |
| |
|
||||
| Expertise: Wireless network / End-to-end Routing Behavior XML Data File System / Software Systems | |||||
| 530 Fred B. Schneider (Professor, Department of Computer Science Cornell University ) |
| |
|
||||
| Expertise: Software Security Computer / Systems Dynamic Networks / Extended Abstract File System / Software Systems Security Views / New Denial Functional Programming / Binding-Time Analysis | |||||
| 531 Geoffrey Hinton (Professor, Department of Computer Science University of Toronto) |
| |
|
||||
| Expertise: Object Recognition / Two-View Motion Estimation Learning Search Control Rules / Explanation-based Approach Machine Learning | |||||
| 532 A. W. Appel (Professor, Department of Computer Science Princeton University ) |
| |
|
||||
| Expertise: Theorem Proving / General-Purpose Automated Reasoning Logic Programs / Algebraic Semantics Functional Programming / Binding-Time Analysis | |||||
| 533 Gaetano Borriello (Professor, Department of Computer Science & Engineering University of Washington ) |
| |
|
||||
| Expertise: Real-Time Systems Power optimization / Synchronous Sequential Circuits Adaptive Mobile Applications / Pervasive Computing Systems | |||||
| 534 Craig Boutilier (Professor and Chair , Department of Computer Science University of Toronto ) |
| |
|
||||
| Expertise: Multi-Agent Systems / Agent organization Learning Search Control Rules / Explanation-based Approach Bayesian Networks Machine Learning | |||||
| 535 H. Ehrig (Professor , Technische Universität Berlin Institut für Softwaretechnik und Theoretische Informatik ) |
| |
|
||||
| Expertise: Automata Theory / Slender Languages Logic Programs / Algebraic Semantics Visual Language Petri Nets / Formal Specifications | |||||
| 536 Somesh Jha (Professor, Computer Sciences Department University of Wisconsin) |
| |
|
||||
| Expertise: Model Checking / Hybrid Systems Multi-Agent Systems / Agent organization Software Engineering Security Views / New Denial Functional Programming / Binding-Time Analysis | |||||
| 537 Chunming Qiao (Professor, University at Buffalo) |
| |
|
||||
| Expertise: ATM Networks Wireless Networks / Priority Scheduling Parallel Algorithms / Wormhole Networks | |||||
| 538 J. Goguen (Professor and Director, Dept. of Computer Science & Engineering Meaning and Computation Lab) |
| |
|
||||
| Expertise: Finite Languages / Database Queries Theorem Proving / General-Purpose Automated Reasoning Logic Programs / Algebraic Semantics | |||||
| 539 Tatsuaki Okamoto |
|
|
||||
| Expertise: Communication Complexity / Lower Bounds Signature Schemes / Authenticated Key Exchange Secure | |||||
| 540 Ling Liu (Professor, College of Computing Georgia Institute of Technology ) |
| |
|
||||
| Expertise: Real-Time Systems / Automated Software Test Data Web Service XML Data Web Data / Database design Database Systems Data Mining / Query Processing | |||||
| 541 Jessica Hodgins (Professor, Computer Science and Robotics Carnegie Mellon University ) |
|
|
||||
| Expertise: Multi-Agent Systems / Agent organization Interactive Visualization / Computer graphics Mobile Robot / Hybrid Control | |||||
| 542 David Zhang (Head / Chair Professor , Department of Computing The Hong Kong Polytechnic University) |
| |
|
||||
| Expertise: Control system / Neural Networks Face recognition / Image analysis Control property / Formalized analysis | |||||
| 543 Joachim Weickert (Professor, Faculty of Mathematics and Computer Science Saarland University) |
| |
|
||||
| Expertise: Und von Wissen Object Recognition / Two-View Motion Estimation Image analysis / Computer vision | |||||
| 544 Shun-ichi Amari (Professor, Brain Science Institute Mathematical Neuroscience Laboratory) |
| |
|
||||
| Expertise: Blind Separation Channel state information / Universal coding Neural Networks / BYY learning Machine Learning | |||||
| 545 Munindar P. Singh (Professor, Department of Computer Science North Carolina State University) |
| |
|
||||
| Expertise: Web Services / Mobile Agents Default Logic / Description Logics Multi-Agent Systems / Agent organization Learning Search Control Rules / Explanation-based Approach | |||||
| 546 S. Whittaker (Professor, IBM Research @ Almaden) |
|
|
||||
| Expertise: Speech recognition / Model compensation approach Natural Language System / Statistical Machine Translation User Interface Design / Collaborative interaction | |||||
| 547 R. Tamassia (Plastech Professor of Computer Science and Chair Department of Computer Science, Department of Computer Science Brown University) |
| |
|
||||
| Expertise: Communication Complexity / Lower Bounds Approximation Algorithms / Perfect Graphs Convex Polygons / Planar Arrangements Signature Schemes / Authenticated Key Exchange Secure Security Views / New Denial | |||||
| 548 Amotz Bar Noy (Professor, Department of Computer and Information Science Brooklyn College) |
|
|
||||
| Expertise: Sensor Networks / Outdoor wireless ATM Networks Approximation Algorithms / Perfect Graphs Wireless Networks / Priority Scheduling Dynamic Networks / Extended Abstract Parallel Algorithms / Wormhole Networks | |||||
| 549 Scott A. Mahlke (Associate Professor, Electrical Engineering and Computer Science Department at the University of Michigan) |
|
|
||||
| Expertise: Real-Time Systems Instruction Cache Organizations / Branch Prediction | |||||
| 550 Brad Calder (Professor , University of California Department of Computer Science and Engineering) |
|
|
||||
| Expertise: Instruction Cache Organizations / Branch Prediction | |||||