|
|
|
| Up One Level |
|
Topia!: Computers: Computer Science: People: S (53)
Skjellum, Anthony - Mississippi State University - Parallel algorithms, parallel software development, scientific computing. Snodgrass, Richard T. - University of Arizona - Temporal databases, query language design, query optimization and evaluation, storage structures, database design, and software development databases. Sutcliffe, Geoff - James Cook University - Automated theorem proving, heterogeneous parallel deduction systems, Prolog-D-Linda. Sajeev, A. S. M. - University of Newcastle - Object-oriented software engineering; object-orientation, concurrency and visual programming; distributed systems and software engineering. 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. Smits, Brian - University of Utah - Computer graphics, rendering, global illumination, and real time ray tracing. Stevens, Rick - Argonne National Laboratory, University of Chicago - Collaborative scientific visualization environments, high-performance computer architectures, performance modeling. Sannella, Donald - University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development. Simpson, Alexander - University of Edinburgh - Category theory, domain theory, logic, type theory. 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. Stirling, Colin - University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties. Sammut, Claude - University of New South Wales - Machine learning, logic programming, and knowledge based systems. Sharma, Arun - University of New South Wales - Computational learning theory, machine learning, data mining, and theory of computation. Shepherd, John - University of New South Wales - Databases, web search engines, image databases, education via the Internet, information filtering, deductive databases, and functional programming. Sowmya, Arcot - University of New South Wales - Computer vision, spatial reasoning, robotics, concurrent and real-time systems, and component reuse in VLSI design. Smedinga, Rein - University of Groningen - Discrete event systems and object oriented programming. Sewell, Peter - University of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing. Slind, Konrad - University of Cambridge - Automated reasoning, implementation and application of higher order logic. Stantchev, Vladimir and Lubomira - Humboldt University, Berlin. Subramaniam, L. Venkata - IBM India Research Lab, New Delhi - Multimodal Speech Recognition, Image Processing. Sypniewski, Bernard Paul - Rowan University - Instructor in basic computer literacy, advanced MS office topics, introduction to programming in Visual Basic. Interests in linguistics, the environment, and online testing. Schreiner, Wolfgang - Johannes Kepler University - Parallel and distributed computing, generic programming, semantics of programming languages, parallel functional languages, symbolic and algebraic computation. Stout, Quentin - University of Michigan - Computer science professor with research in parallel computing, algorithms, scientific and statistical computing, and discrete mathematics. Sebesta, Robert W. - Author of Concepts of Programming Languages, one of the better computer language textbooks in use today. Sultanoglu, Sencer - Hacettepe University, Turkey - software engineering, metrics, quality. Stroustrup, Bjarne - Developer of the C++ programming language. Sanghi, Dheeraj - Indian Institute of Technology, Kanpur - Computer Networks, Protocols, TCP/IP, IPv6, ATM, Multimedia, IP/PSTN Internetworking, Operating Systems. Saran, Huzur - Indian Institute of Technology, Delhi - High Speed Networks, Graph Theory, Algorithms 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. Sen, Sandeep - Indian Institute of Technology, Delhi - Randomized Algorithms, Parallel Algorithms, Computational Geometry, Memory Hierarchy Models Sarawagi, Sunita - Indian Institute of Technology, Bombay - Databases, Data Mining, Data Warehousing, Database Mining integration, Temporal Mining, Data Mining Services Sivakumar, G. - Indian Institute of Technology, Bombay - Automated Reasoning, Logic Programming, Rewrite Systems, Networks, Distributed Systems Sudarshan, S. - Indian Institute of Technology, Bombay - Database Systems, Query evaluation/optimization, Failure recovery, Main-memory Databases 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. Singh, Push - MIT Media Lab - Artificial Intelligence, open source web collaborations, leader of Open Mind Commonsense project. 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. Saha, Debanjan - IBM's T. J. Watson Research Center - Computer Network Researcher Srivastava, Saurabh - Indian Institute of Technology, Kanpur - Physical and MAC layer issues in Wireless Ad hoc Networks, CDMA, Routing, Sensor Networks, Computational Biology Singh, Pramod K. - University of Technology, Sydney, Australia - Multimedia Information System, Database Technology, Medical and Bioinformatics. Suvendu, D. - Texas A&M University. Sutter, Herb - Secretary of the ISO/ANSI C++ Standards Committee, Writer, Consultant - Information on C++ Shankar, B. Uma - Machine Intelligence Unit, Indian Statistical Institute, Kolkata - Pattern recognition, Image processing and Soft Computing with applications to Remote sensing. Stevenson, William - Pennsylvania State University - High performance computing, operating systems, cognitive science. Sivasubramaniam, Anand - Pennsylvania State University - Computer architecture, operating systems, parallel computing, simulation and evaluation of computer systems. Saraswat, Vijay - Pennsylvania State University - Theoretical computer science, programming systems, artificial intelligence. Stewart, Charles - Boston University - Programming language theory, optimal reductions, graph reduction, linear logic, semantics of logic, formulae-as-types correspondence, continuation semantics. 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 Leonid Stoimenov - University of Nis - GIS and Interoperability, GIS and Ontologies, GIS and Mediation Chris Shiflett - Author of open source projects, articles, books, tutorials, and documentation Navneeth Subramanian's - University of Buffalo - Computational geometry for cad/cam and medicine related projects. Dimitris Spiliotopoulos - National and Kapodistrian University of Athens - Speech, Phonology, Intonation.
Additional categories:
|
|
||
| S | |||
|
