Computer Science

Wegner, Peter Wegner, Peter- Brown University - Interaction, compound and active document systems (such as OpenDoc, JavaBeans and ActiveX), object oriented programming, and programming language… Vidal, Germán Vidal, Germán- Technical University of Valencia, Spain - Programming Languages, Functional and Logic Programming, Multi-Paradigm Programming, Semantics, Program Transformation, Pa… Vemuri, V. Rao Vemuri, V. Rao- University of California, Davis - Digital Media, Soft Computing, Neural Networks, Genetic Algorithms, Numerical Methods. Vishwanathan, Sundar Vishwanathan, Sundar- Indian Institute of Technology, Bombay - Algorithms, Combinatorics, Complexity theory. Vazirgiannis, Michalis Vazirgiannis, Michalis- Athens University of Economics and Business - Research on data mining, pattern bases, uncertainty and multimedia. Vegter, Gert Vegter, Gert- University of Groningen - Geometric computing, computer algebra, and dynamical systems. Uustalu, Tarmo Uustalu, Tarmo- University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction. Torp, Kristian Torp, Kristian- Aalborg University - Temporal database systems. Tasso, Carlo Tasso, Carlo- University of Udine - Knowledge based system development, student modeling, user modeling, intelligent information retrieval, intelligent information filtering. Theodorou, Pavlos Theodorou, Pavlos- University of The Aegean. Computer networks teaching and research. Tanenbaum, Andrew S. Tanenbaum, Andrew S.- Vrije Universiteit - Operating systems, Minix, networks, distributed systems. Thompson, Henry S. Thompson, Henry S.- University of Edinburgh - Computational linguistics, data-intensive linguistics, language corpora and corpus management, SGML, XML, XSL and DSSSL. Schreiner, Wolfgang Schreiner, Wolfgang- Johannes Kepler University - Parallel and distributed computing, generic programming, semantics of programming languages, parallel functional languages, symbo… Stroustrup, Bjarne Stroustrup, Bjarne- Developer of the C++ programming language. Stark, Ian Stark, Ian- University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages. Sipper, Moshe Sipper, Moshe- Swiss Federal Institute of Technology, Lausanne. Application of Biological Principles to Artificial Systems, Evolutionary Computation, Cellular Computing, Bio-inspi… Stirling, Colin Stirling, Colin- University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program prop… Simpson, Alexander Simpson, Alexander- University of Edinburgh - Category theory, domain theory, logic, type theory. Simon, Janos Simon, Janos- University of Chicago - Computational complexity, including machine-based complexity, communication complexity, models of parallel computation, distributed computati… Sewell, Peter Sewell, Peter- University of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing. Sannella, Donald Sannella, Donald- University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal softw… Spiliotopoulos, Dimitris Spiliotopoulos, Dimitris- National and Kapodistrian University of Athens - Speech, Phonology, Intonation. Subramaniam, L. Venkata Subramaniam, L. Venkata- IBM India Research Lab, New Delhi - Multimodal Speech Recognition, Image Processing. Stolte, Nilo Stolte, Nilo- Research in computer graphics: voxelization and visualization of implicit surfaces, discrete ray tracing, and fractal clouds. Spivack, Nova Spivack, Nova- CEO of Radar Networks, and co-founder of EarthWeb - Semantic Web, Knowledge Management Sailer, Martin Sailer, Martin- Ludwig-Maximilians-Universität München - Management Information Base for Services, Information Modeling for Service Management Sivakumar, G. Sivakumar, G.- Indian Institute of Technology, Bombay - Automated Reasoning, Logic Programming, Rewrite Systems, Networks, Distributed Systems Sivasubramaniam, Anand Sivasubramaniam, Anand- Pennsylvania State University - Computer architecture, operating systems, parallel computing, simulation and evaluation of computer systems. Shankar, B. Uma Shankar, B. Uma- Machine Intelligence Unit, Indian Statistical Institute, Kolkata - Pattern recognition, Image processing and Soft Computing with applications to Remote sensing. Sutter, Herb Sutter, Herb- Secretary of the ISO/ANSI C++ Standards Committee, Writer, Consultant - Information on C++ Sen, Sandeep Sen, Sandeep- Indian Institute of Technology, Delhi - Randomized Algorithms, Parallel Algorithms, Computational Geometry, Memory Hierarchy Models Sanghi, Dheeraj Sanghi, Dheeraj- Indian Institute of Technology, Kanpur - Computer Networks, Protocols, TCP/IP, IPv6, ATM, Multimedia, IP/PSTN Internetworking, Operating Systems. Stout, Quentin Stout, Quentin- University of Michigan - Computer science professor with research in parallel computing, algorithms, scientific and statistical computing, and discrete mathematics. Stantchev, Vladimir and Lubomira Stantchev, Vladimir and Lubomira- Humboldt University, Berlin. Smedinga, Rein Smedinga, Rein- University of Groningen - Discrete event systems and object oriented programming. Sowmya, Arcot Sowmya, Arcot- University of New South Wales - Computer vision, spatial reasoning, robotics, concurrent and real-time systems, and component reuse in VLSI design. Shepherd, John Shepherd, John- University of New South Wales - Databases, web search engines, image databases, education via the Internet, information filtering, deductive databases, and functio… Sammut, Claude Sammut, Claude- University of New South Wales - Machine learning, logic programming, and knowledge based systems. Steedman, Mark Steedman, Mark- University of Edinburgh - Computational linguistics, artificial intelligence, formal grammar, intonation, spoken language processing, animated conversational agent… Smits, Brian Smits, Brian- University of Utah - Computer graphics, rendering, global illumination, and real time ray tracing. Snodgrass, Richard T. Snodgrass, Richard T.- University of Arizona - Temporal databases, query language design, query optimization and evaluation, storage structures, database design, and software deve… Rada, Roy Rada, Roy- University of Maryland, Baltimore County - Distance education. Rivest, Ronald L. Rivest, Ronald L.- Webster Professor of MIT's Electrical Engineering and Computer Science, Associate Director of MIT's Laboratory for Computer Science, a founder of RSA Data Secur… Robinson, Peter Robinson, Peter- University of Cambridge - Human-computer interaction, electronic design automation, self-timed circuits. Richards, Martin Richards, Martin- University of Cambridge - Programming language design and implementation, typeless languages, optimizing compilers, efficient interpreters, just-in-time compilat… Rao, S. S. S. P. Rao, S. S. S. P.- Indian Institute of Technology, Bombay - VLSI Design, Advanced Computer Architecture, Reconfigurable Computing, Microprocessor Design and Interfaces. Ramesh, S. Ramesh, S.- Indian Institute of Technology, Bombay - Concurrency, Formal Specification and Verification, Programming Languages, Real time and Reactive Programming, Distributed Com… Ranade, Abhiram Ranade, Abhiram- Indian Institute of Technology, Bombay - Algorithms, Combinatorial Optimization. Ramamritham, Krithi Ramamritham, Krithi- Indian Institute of Technology, Bombay - Real-time systems, Transaction processing in database systems, Real-time databases systems Roerdink, Jos Roerdink, Jos- University of Groningen - Image processing, mathematical morphology, wavelets, computer vision and scientific visualization.