Home > Computers > Computer Science > People > S
http://wwwmnmteam.informatik.uni-muenchen.de/~sailer/
Ludwig-Maximilians-Universität München - Management Information Base for Services, Information Modeling for Service Management
http://www.cse.unsw.edu.au/~claude/
University of New South Wales - Machine learning, logic programming, and knowledge based systems.
http://www.cse.iitk.ac.in/users/dheeraj/index.html
Indian Institute of Technology, Kanpur - Computer Networks, Protocols, TCP/IP, IPv6, ATM, Multimedia, IP/PSTN Internetworking, Operating Systems.
http://homepages.inf.ed.ac.uk/dts/
University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.
http://www.risc.jku.at/people/schreine/
Johannes Kepler University - Parallel and distributed computing, generic programming, semantics of programming languages, parallel functional languages, symbolic and algebraic computation.
http://www.cse.iitd.ernet.in/~ssen
Indian Institute of Technology, Delhi - Randomized Algorithms, Parallel Algorithms, Computational Geometry, Memory Hierarchy Models
http://www.cl.cam.ac.uk/~pes20/
University of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing.
http://www.isical.ac.in/~uma/
Machine Intelligence Unit, Indian Statistical Institute, Kolkata - Pattern recognition, Image processing and Soft Computing with applications to Remote sensing.
http://www.cse.unsw.edu.au/~jas/
University of New South Wales - Databases, web search engines, image databases, education via the Internet, information filtering, deductive databases, and functional programming.
http://people.cs.uchicago.edu/~simon/
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://homepages.inf.ed.ac.uk/als/
University of Edinburgh - Category theory, domain theory, logic, type theory.
http://www.moshesipper.com/
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://www.cse.iitb.ac.in/~siva/
Indian Institute of Technology, Bombay - Automated Reasoning, Logic Programming, Rewrite Systems, Networks, Distributed Systems
http://www.cse.psu.edu/~anand/
Pennsylvania State University - Computer architecture, operating systems, parallel computing, simulation and evaluation of computer systems.
http://www.cs.rug.nl/~rein/
University of Groningen - Discrete event systems and object oriented programming.
http://www.cs.utah.edu/~bes/
University of Utah - Computer graphics, rendering, global illumination, and real time ray tracing.
http://www.cs.arizona.edu/people/rts/
University of Arizona - Temporal databases, query language design, query optimization and evaluation, storage structures, database design, and software development databases.
http://www.cse.unsw.edu.au/~sowmya/
University of New South Wales - Computer vision, spatial reasoning, robotics, concurrent and real-time systems, and component reuse in VLSI design.
http://cgi.di.uoa.gr/~dspiliot/
National and Kapodistrian University of Athens - Speech, Phonology, Intonation.
http://novaspivack.typepad.com/
CEO of Radar Networks, and co-founder of EarthWeb - Semantic Web, Knowledge Management
http://stantchev.de/
Humboldt University, Berlin.
http://homepages.inf.ed.ac.uk/stark/
University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.
http://www.cogsci.ed.ac.uk/~steedman/
University of Edinburgh - Computational linguistics, artificial intelligence, formal grammar, intonation, spoken language processing, animated conversational agents.
http://homepages.inf.ed.ac.uk/cps/
University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.
http://nilo.stolte.free.fr/
Research in computer graphics: voxelization and visualization of implicit surfaces, discrete ray tracing, and fractal clouds.
http://www.eecs.umich.edu/~qstout/
University of Michigan - Computer science professor with research in parallel computing, algorithms, scientific and statistical computing, and discrete mathematics.
http://www.stroustrup.com/
Developer of the C++ programming language.
http://researchweb.watson.ibm.com/people/l/lvsubram/
IBM India Research Lab, New Delhi - Multimodal Speech Recognition, Image Processing.
http://www.gotw.ca/
Secretary of the ISO/ANSI C++ Standards Committee, Writer, Consultant - Information on C++
Home > Computers > Computer Science > People > S
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us