 |
/ Home
/ Web Directory / Computers / Computer Science / People / S (51)
Sub-Categories in S
Web Sites in Category S
Displaying: 1 50 (51 total) Next Page >>
Saha, Debanjan - IBM's T. J. Watson Research Center - Computer Network Researcher

Sailer, Martin - Ludwig-Maximilians-Universität München - Management Information Base for Services, Information Modeling for Service Management

Sajeev, A. S. M. - University of New England - Object-oriented software engineering; object-orientation, concurrency and visual programming; distributed systems and software engineering.

Sammut, Claude - University of New South Wales - Machine learning, logic programming, and knowledge based systems.

Sanghi, Dheeraj - Indian Institute of Technology, Kanpur - Computer Networks, Protocols, TCP/IP, IPv6, ATM, Multimedia, IP/PSTN Internetworking, Operating Systems.

Sannella, Donald - University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.

Saran, Huzur - Indian Institute of Technology, Delhi - High Speed Networks, Graph Theory, Algorithms

Saraswat, Vijay - Pennsylvania State University - Theoretical computer science, programming systems, artificial intelligence.

Schreiner, Wolfgang - Johannes Kepler University - Parallel and distributed computing, generic programming, semantics of programming languages, parallel functional languages, symbolic and algebraic computation.

Seigneur, Jean-Marc - Trinity College Dublin - Computer Security

Sellis, Timos - National Technical University of Athens - Extended relational database systems, active database systems, and spatial, image and multimedia database systems.

Sen, Sandeep - Indian Institute of Technology, Delhi - Randomized Algorithms, Parallel Algorithms, Computational Geometry, Memory Hierarchy Models

Sewell, Peter - University of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing.

Shankar, B. Uma - Machine Intelligence Unit, Indian Statistical Institute, Kolkata - Pattern recognition, Image processing and Soft Computing with applications to Remote sensing.

Sharma, Arun - University of New South Wales - Computational learning theory, machine learning, data mining, and theory of computation.

Shawe-Taylor, John - Royal Holloway, University of London - Neural and Computational Learning Theory.

Shepherd, John - University of New South Wales - Databases, web search engines, image databases, education via the Internet, information filtering, deductive databases, and functional programming.

Shiflett, Chris - Author of open source projects, articles, books, tutorials, and documentation.

Shyamasundar, R. K. - Tata Institute of Fundamental Research, Mumbai - Real-Time and Reactive Programming, Logic Programming, Pi-Calculus and Mobile Computing, Parallel Programs, Programming Languages.

Simon, Janos - University of Chicago - Computational complexity, including machine-based complexity, communication complexity, models of parallel computation, distributed computation, algorithms, problems inspired by the world wide web.

Simpson, Alexander - University of Edinburgh - Category theory, domain theory, logic, type theory.

Singh, Push - MIT Media Lab - Artificial Intelligence, open source web collaborations, leader of Open Mind Commonsense project.

Sipper, Moshe - Swiss Federal Institute of Technology, Lausanne. Application of Biological Principles to Artificial Systems, Evolutionary Computation, Cellular Computing, Bio-inspired Systems, Evolvable Hardware, Complex Adaptive Systems.

Sivakumar, G. - Indian Institute of Technology, Bombay - Automated Reasoning, Logic Programming, Rewrite Systems, Networks, Distributed Systems

Sivasubramaniam, Anand - Pennsylvania State University - Computer architecture, operating systems, parallel computing, simulation and evaluation of computer systems.

Slind, Konrad - University of Cambridge - Automated reasoning, implementation and application of higher order logic.

Smedinga, Rein - University of Groningen - Discrete event systems and object oriented programming.

Smits, Brian - University of Utah - Computer graphics, rendering, global illumination, and real time ray tracing.

Snodgrass, Richard T. - University of Arizona - Temporal databases, query language design, query optimization and evaluation, storage structures, database design, and software development databases.

Sowmya, Arcot - University of New South Wales - Computer vision, spatial reasoning, robotics, concurrent and real-time systems, and component reuse in VLSI design.

Spiliotopoulos, Dimitris - National and Kapodistrian University of Athens - Speech, Phonology, Intonation.

Spivack, Nova - CEO of Radar Networks, and co-founder of EarthWeb - Semantic Web, Knowledge Management

Stantchev, Vladimir and Lubomira - Humboldt University, Berlin.

Stark, Ian - University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.

Steedman, Mark - University of Edinburgh - Computational linguistics, artificial intelligence, formal grammar, intonation, spoken language processing, animated conversational agents.

Steinemann, Marc-Alain - University of Bern - Architectures for remote learning, authentication and authorization infrastructures, didactic aspects of remote learning, dynamic on-line courses, communication systems for the next generation Internet

Stevens, Rick - Argonne National Laboratory, University of Chicago - Collaborative scientific visualization environments, high-performance computer architectures, performance modeling.

Stevenson, Bill - Pennsylvania State University - Cognitive Science, High Performance Computing.

Stewart, Charles - Boston University - Programming language theory, optimal reductions, graph reduction, linear logic, semantics of logic, formulae-as-types correspondence, continuation semantics.

Stirling, Colin - University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.

Stoimenov, Leonid - University of Nis - GIS and Interoperability, GIS and Ontologies, GIS and Mediation

Stork, David G. - Ricoh Innovations; and Stanford University - Pattern recognition, neural networks, machine learning, adaptive human interfaces for data repositories, strategic document studies, image and pattern recognition algorithms for novel parallel hardware, Open Mind Initiative.

Stout, Quentin - University of Michigan - Computer science professor with research in parallel computing, algorithms, scientific and statistical computing, and discrete mathematics.

Stramm, Bernd - Computer architecture parallel computing, embedded systems, high performance computing, and heterogeneous parallel systems.

Stroustrup, Bjarne - Developer of the C++ programming language.

Subramaniam, L. Venkata - IBM India Research Lab, New Delhi - Multimodal Speech Recognition, Image Processing.

Subramanian, Navneeth - University of Buffalo - Computational geometry for cad/cam and medicine related projects.

Sutcliffe, Geoff - James Cook University - Automated theorem proving, heterogeneous parallel deduction systems, Prolog-D-Linda.

Sutter, Herb - Secretary of the ISO/ANSI C++ Standards Committee, Writer, Consultant - Information on C++

Suvendu, Dash. - Center for the Study of Digital Libraries Texas A&M University.

Displaying: 1 50 (51 total) Next Page >>
Editors:
billstevenson
|
 |
|
 |