Sellis, Timos

National Technical University of Athens - Extended relational database systems, active database systems, and spatial, image and multimedia database systems.
http://www.dblab.ece.ntua.gr/~timos/

Smits, Brian

University of Utah - Computer graphics, rendering, global illumination, and real time ray tracing.
http://www.cs.utah.edu/~bes/

Stirling, Colin

University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.
http://www.dcs.ed.ac.uk/~cps/

Sharma, Arun

University of New South Wales - Computational learning theory, machine learning, data mining, and theory of computation.
http://www.cse.unsw.edu.au/~arun/

Slind, Konrad

University of Cambridge - Automated reasoning, implementation and application of higher order logic.
http://www.cl.cam.ac.uk/users/kxs/

Snodgrass, Richard T.

University of Arizona - Temporal databases, query language design, query optimization and evaluation, storage structures, database design, and software development databases.
http://www.cs.arizona.edu/people/rts/

Sutcliffe, Geoff

James Cook University - Automated theorem proving, heterogeneous parallel deduction systems, Prolog-D-Linda.
http://www.cs.jcu.edu.au/~geoff/

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.
http://www.cs.uchicago.edu/~simon/

Stevens, Rick

Argonne National Laboratory, University of Chicago - Collaborative scientific visualization environments, high-performance computer architectures, performance modeling.
http://www-fp.mcs.anl.gov/~stevens/

Sannella, Donald

University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.
http://www.dcs.ed.ac.uk/~dts/

Simpson, Alexander

University of Edinburgh - Category theory, domain theory, logic, type theory.
http://www.dcs.ed.ac.uk/~als/

Stark, Ian

University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.
http://www.dcs.ed.ac.uk/~stark/

Steedman, Mark

University of Edinburgh - Computational linguistics, artificial intelligence, formal grammar, intonation, spoken language processing, animated conversational agents.
http://www.cogsci.ed.ac.uk/~steedman/

Sammut, Claude

University of New South Wales - Machine learning, logic programming, and knowledge based systems.
http://www.cse.unsw.edu.au/~claude/

Shepherd, John

University of New South Wales - Databases, web search engines, image databases, education via the Internet, information filtering, deductive databases, and functional programming.
http://www.cse.unsw.edu.au/~jas/

Sowmya, Arcot

University of New South Wales - Computer vision, spatial reasoning, robotics, concurrent and real-time systems, and component reuse in VLSI design.
http://www.cse.unsw.edu.au/~sowmya/

Smedinga, Rein

University of Groningen - Discrete event systems and object oriented programming.
http://www.cs.rug.nl/~rein/

Sewell, Peter

University of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing.
http://www.cl.cam.ac.uk/users/pes20/

Stantchev, Vladimir and Lubomira

Humboldt University, Berlin.
http://stantchev.de

Subramaniam, L. Venkata

IBM India Research Lab, New Delhi - Multimodal Speech Recognition, Image Processing.
http://www.research.ibm.com/people/l/lvsubram/

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.
http://elvis.rowan.edu/~bps

Schreiner, Wolfgang

Johannes Kepler University - Parallel and distributed computing, generic programming, semantics of programming languages, parallel functional languages, symbolic and algebraic computation.
http://www.risc.uni-linz.ac.at/people/schreine/

Stout, Quentin

University of Michigan - Computer science professor with research in parallel computing, algorithms, scientific and statistical computing, and discrete mathematics.
http://www.eecs.umich.edu/~qstout/

Stroustrup, Bjarne

Developer of the C++ programming language.
http://www.research.att.com/~bs/homepage.html

Sanghi, Dheeraj

Indian Institute of Technology, Kanpur - Computer Networks, Protocols, TCP/IP, IPv6, ATM, Multimedia, IP/PSTN Internetworking, Operating Systems.
http://www.cse.iitk.ac.in/users/dheeraj/index.html

Saran, Huzur

Indian Institute of Technology, Delhi - High Speed Networks, Graph Theory, Algorithms
http://www.cse.iitd.ernet.in/~saran

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.
http://www.tcs.tifr.res.in/~shyam/

Sen, Sandeep

Indian Institute of Technology, Delhi - Randomized Algorithms, Parallel Algorithms, Computational Geometry, Memory Hierarchy Models
http://www.cse.iitd.ernet.in/~ssen

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.
http://lslwww.epfl.ch/~moshes/

Singh, Push

MIT Media Lab - Artificial Intelligence, open source web collaborations, leader of Open Mind Commonsense project.
http://www.media.mit.edu/people/push/

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 Mi
http://www.rii.ricoh.com/~stork/

Saha, Debanjan

IBM's T. J. Watson Research Center - Computer Network Researcher
http://debanjan.sahafamily.com

Suvendu, Dash.

Center for the Study of Digital Libraries Texas A&M University.
http://www.cs.tamu.edu/people/suvendud

Sutter, Herb

Secretary of the ISO/ANSI C++ Standards Committee, Writer, Consultant - Information on C++
http://www.gotw.ca

Shankar, B. Uma

Machine Intelligence Unit, Indian Statistical Institute, Kolkata - Pattern recognition, Image processing and Soft Computing with applications to Remote sensing.
http://www.isical.ac.in/~uma/

Stevenson, William

School of Information Sciences and Technology, Pennsylvania State University - Cognitive Science, Vision, High Performance Computing.
http://www.billstevenson.org

Sivasubramaniam, Anand

Pennsylvania State University - Computer architecture, operating systems, parallel computing, simulation and evaluation of computer systems.
http://www.cse.psu.edu/~anand/

Saraswat, Vijay

Pennsylvania State University - Theoretical computer science, programming systems, artificial intelligence.
http://www.saraswat.org/

Stewart, Charles

Boston University - Programming language theory, optimal reductions, graph reduction, linear logic, semantics of logic, formulae-as-types correspondence, continuation semantics.
http://www.linearity.org/cas/

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
http://www.iam.unibe.ch/~steine

Stoimenov, Leonid

University of Nis - GIS and Interoperability, GIS and Ontologies, GIS and Mediation
http://gislab.elfak.ni.ac.yu/leni

Shiflett, Chris

Author of open source projects, articles, books, tutorials, and documentation.
http://shiflett.org/

Spiliotopoulos, Dimitris

National and Kapodistrian University of Athens - Speech, Phonology, Intonation.
http://www.di.uoa.gr/~dspiliot

Sivakumar, G.

Indian Institute of Technology, Bombay - Automated Reasoning, Logic Programming, Rewrite Systems, Networks, Distributed Systems
http://www.cse.iitb.ac.in/~siva/

Sajeev, A. S. M.

University of New England - Object-oriented software engineering; object-orientation, concurrency and visual programming; distributed systems and software engineering.
http://mcs.une.edu.au/~sajeev/

Stramm, Bernd

Computer architecture parallel computing, embedded systems, high performance computing, and heterogeneous parallel systems.
http://www.bernd-stramm.com

Seigneur, Jean-Marc

Trinity College Dublin - Computer Security
http://www.cs.tcd.ie/Jean-Marc.Seigneur/

Sailer, Martin

Ludwig-Maximilians-Universität München - Management Information Base for Services, Information Modeling for Service Management
http://wwwmnmteam.informatik.uni-muenchen.de/~sailer/

Spivack, Nova

CEO of Radar Networks, and co-founder of EarthWeb - Semantic Web, Knowledge Management
http://novaspivack.typepad.com

Stolte, Nilo

Research in computer graphics: voxelization and visualization of implicit surfaces, discrete ray tracing, and fractal clouds.
http://nilo.stolte.free.fr

Steinmetz, Bill

This is a website of Dowling College's Computer science professor Dr. Bill Steinmetz. His website contains the course work and lectures given during the respective semesters, and source code for the various programming assignments. This website may be of
http://www.dr-bill.net/

Schaefer, Gerald

Nottingham Trent University - colour computer vision, colour constancy, image processing, image retrieval, image compression, compressed domain processing
http://vision.doc.ntu.ac.uk