Sammut, Claude
University of New South Wales - Machine learning, logic programming, and knowledge based systems.
Sanghi, Dheeraj
Indian Institute of Technology, Kanpur - Computer Networks, Protocols, TCP/IP, IPv6, ATM, Multimedia, IP/PSTN Internetworking, Operating Systems.
Sannella, Donald
University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.
Saraswat, Vijay
Pennsylvania State University - Theoretical computer science, programming systems, artificial intelligence.
Schreiner, Wolfgang
Johannes Kepler University - Parallel and distributed computing, generic programming, semantics of programming languages, parallel functional languages, symbolic and algebraic comp…
Sen, Sandeep
Indian Institute of Technology, Delhi - Randomized Algorithms, Parallel Algorithms, Computational Geometry, Memory Hierarchy Models
Sewell, Peter
University of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing.
Shepherd, John
University of New South Wales - Databases, web search engines, image databases, education via the Internet, information filtering, deductive databases, and functional programming.
Simon, Janos
University of Chicago - Computational complexity, including machine-based complexity, communication complexity, models of parallel computation, distributed computation, algorithms,…
Simpson, Alexander
University of Edinburgh - Category theory, domain theory, logic, type theory.
Sivakumar, G.
Indian Institute of Technology, Bombay - Automated Reasoning, Logic Programming, Rewrite Systems, Networks, Distributed Systems
Snodgrass, Richard T.
University of Arizona - Temporal databases, query language design, query optimization and evaluation, storage structures, database design, and software development databases.
Sowmya, Arcot
University of New South Wales - Computer vision, spatial reasoning, robotics, concurrent and real-time systems, and component reuse in VLSI design.
Spivack, Nova
CEO of Radar Networks, and co-founder of EarthWeb - Semantic Web, Knowledge Management
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.
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 s…
Stevenson, William
School of Information Sciences and Technology, Pennsylvania State University - Cognitive Science, Vision, High Performance Computing.
Showing 1–20 of 28 results