|
|
|
|
Home / Computers / Computer Science / People / S
|
| Categories |
|
|
|
|
|
|
|
|
Web Sites
|
- Saha, Debanjan - IBM's T. J. Watson Research Center - Computer Network Researcher
debanjan.sahafamily.com
- Sajeev, A. S. M. - University of Newcastle - Object-oriented software engineering; object-orientation, concurrency and visual programming; distributed systems and software engineering.
www.cs.newcastle.edu.au/~sajeev
- Sammut, Claude - University of New South Wales - Machine learning, logic programming, and knowledge based systems.
www.cse.unsw.edu.au/~claude
- Sanghi, Dheeraj - Indian Institute of Technology, Kanpur - Computer Networks, Protocols, TCP/IP, IPv6, ATM, Multimedia, IP/PSTN Internetworking, Operating Systems.
www.cse.iitk.ac.in/users/dheeraj/index.html
- Sannella, Donald - University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.
www.dcs.ed.ac.uk/~dts
- Saran, Huzur - Indian Institute of Technology, Delhi - High Speed Networks, Graph Theory, Algorithms
www.cse.iitd.ernet.in/~saran
- Sarawagi, Sunita - Indian Institute of Technology, Bombay - Databases, Data Mining, Data Warehousing, Database Mining integration, Temporal Mining, Data Mining Services
www.it.iitb.ernet.in/~sunita
- Schreiner, Wolfgang - Johannes Kepler University - Parallel and distributed computing, generic programming, semantics of programming languages, parallel functional languages, symbolic and algebraic computation.
www.risc.uni-linz.ac.at/people/schreine
- Sebesta, Robert W. - Author of Concepts of Programming Languages, one of the better computer language textbooks in use today.
csweb.uccs.edu/rws
- Sellis, Timos - National Technical University of Athens - Extended relational database systems, active database systems, and spatial, image and multimedia database systems.
www.dblab.ece.ntua.gr/~timos
- Sen, Sandeep - Indian Institute of Technology, Delhi - Randomized Algorithms, Parallel Algorithms, Computational Geometry, Memory Hierarchy Models
www.cse.iitd.ernet.in/~ssen
- Sewell, Peter - University of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing.
www.cl.cam.ac.uk/users/pes20
- Sharma, Arun - University of New South Wales - Computational learning theory, machine learning, data mining, and theory of computation.
www.cse.unsw.edu.au/~arun
- Shepherd, John - University of New South Wales - Databases, web search engines, image databases, education via the Internet, information filtering, deductive databases, and functional programming.
www.cse.unsw.edu.au/~jas
- 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.
www.tcs.tifr.res.in/~shyam
- 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.
www.cs.uchicago.edu/~simon
- Simpson, Alexander - University of Edinburgh - Category theory, domain theory, logic, type theory.
www.dcs.ed.ac.uk/~als
- Singh, Pramod K. - University of Technology, Sydney, Australia - Multimedia Information System, Database Technology, Medical and Bioinformatics.
www-staff.it.uts.edu.au/~pksingh
- Singh, Push - MIT Media Lab - Artificial Intelligence, open source web collaborations, leader of Open Mind Commonsense project.
www.media.mit.edu/people/push
- 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.
lslwww.epfl.ch/~moshes
- Sivakumar, G. - Indian Institute of Technology, Bombay - Automated Reasoning, Logic Programming, Rewrite Systems, Networks, Distributed Systems
www.cse.iitb.ernet.in/~siva
- Skjellum, Anthony - Mississippi State University - Parallel algorithms, parallel software development, scientific computing.
www.cs.msstate.edu/~tony
- Slind, Konrad - University of Cambridge - Automated reasoning, implementation and application of higher order logic.
www.cl.cam.ac.uk/users/kxs
- Smedinga, Rein - University of Groningen - Discrete event systems and object oriented programming.
www.cs.rug.nl/~rein
- Smits, Brian - University of Utah - Computer graphics, rendering, global illumination, and real time ray tracing.
www.cs.utah.edu/~bes
- Snodgrass, Richard T. - University of Arizona - Temporal databases, query language design, query optimization and evaluation, storage structures, database design, and software development databases.
www.cs.arizona.edu/people/rts
- Sowmya, Arcot - University of New South Wales - Computer vision, spatial reasoning, robotics, concurrent and real-time systems, and component reuse in VLSI design.
www.cse.unsw.edu.au/~sowmya
- Spaanenburg, Lambert - University of Groningen - computational intelligence, embedded systems and net-centric design.
www.cs.rug.nl/~ben
- Srivastava, Saurabh - Indian Institute of Technology, Kanpur - Physical and MAC layer issues in Wireless Ad hoc Networks, CDMA, Routing, Sensor Networks, Computational Biology
alumni.cse.iitk.ac.in/~saurabh.srivastava
- Stantchev, Vladimir and Lubomira - Humboldt University, Berlin.
stantchev.de
- Stark, Ian - University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.
www.dcs.ed.ac.uk/~stark
- Steedman, Mark - University of Edinburgh - Computational linguistics, artificial intelligence, formal grammar, intonation, spoken language processing, animated conversational agents.
www.cogsci.ed.ac.uk/~steedman
- Stevens, Rick - Argonne National Laboratory, University of Chicago - Collaborative scientific visualization environments, high-performance computer architectures, performance modeling.
www-fp.mcs.anl.gov/~stevens
- Stirling, Colin - University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.
www.dcs.ed.ac.uk/~cps
- 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.
www.rii.ricoh.com/~stork
- Stout, Quentin - University of Michigan - Computer science professor with research in parallel computing, algorithms, scientific and statistical computing, and discrete mathematics.
www.eecs.umich.edu/~qstout
- Stroustrup, Bjarne - Developer of the C++ programming language.
www.research.att.com/~bs/homepage.html
- Subramaniam, L. Venkata - IBM India Research Lab, New Delhi - Multimodal Speech Recognition, Image Processing.
www.research.ibm.com/people/l/lvsubram
- Sudarshan, S. - Indian Institute of Technology, Bombay - Database Systems, Query evaluation/optimization, Failure recovery, Main-memory Databases
www.cse.iitb.ernet.in/~sudarsha
- Sultanoglu, Sencer - Hacettepe University, Turkey - software engineering, metrics, quality.
ayna.hun.edu.tr/~sencer/index.html
- Sutcliffe, Geoff - James Cook University - Automated theorem proving, heterogeneous parallel deduction systems, Prolog-D-Linda.
www.cs.jcu.edu.au/~geoff
- Sutter, Herb - Secretary of the ISO/ANSI C++ Standards Committee, Writer, Consultant - Information on C++
www.gotw.ca
- Suvendu, D. - Texas A&M University.
www.cs.tamu.edu/people/suvendud
- 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.
elvis.rowan.edu/~bps
|
|
|
|
|