MetaXearch > / Computer Science / People / S /
Sellis, Timos
National Technical University of Athens - Extended relational database systems, active database systems, and spatial, image and multimedia database systems. (infos)Snodgrass, Richard T.
University of Arizona - Temporal databases, query language design, query optimization and evaluation, storage structures, database design, and software development databases. (infos)
Sutcliffe, Geoff
James Cook University - Automated theorem proving, heterogeneous parallel deduction systems, Prolog-D-Linda. (infos)
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. (infos)
Smits, Brian
University of Utah - Computer graphics, rendering, global illumination, and real time ray tracing. (infos)
Stevens, Rick
Argonne National Laboratory, University of Chicago - Collaborative scientific visualization environments, high-performance computer architectures, performance modeling. (infos)
Sannella, Donald
University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development. (infos)
Simpson, Alexander
University of Edinburgh - Category theory, domain theory, logic, type theory. (infos)
Stark, Ian
University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages. (infos)
Steedman, Mark
University of Edinburgh - Computational linguistics, artificial intelligence, formal grammar, intonation, spoken language processing, animated conversational agents. (infos)