All sites of Computer Science

Mycroft, Alan Mycroft, Alan
Mycroft, Alan- University of Cambridge - Semantics and compilation of programs, static analysis of programs. ...
McCusker, Guy McCusker, Guy
McCusker, Guy- School of Cognitive and Computing Sciences, University of Sussex - Semantics of programming languages. ...
Simon, Hans Ulrich Simon, Hans Ulrich
Simon, Hans Ulrich- Ruhr-Universität Bochum. ...
Montanari, Angelo Montanari, Angelo
Montanari, Angelo- University of Udine - Logical specifications of real-time systems, temporal and object-oriented databases, deductive databases, temporal representation and reasoning, modal and temporal logic, set theo ...
Miculan, Marino Miculan, Marino
Miculan, Marino- University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus. ...
Nadjm-Tehrani, Simin Nadjm-Tehrani, Simin
Nadjm-Tehrani, Simin- Linköping University - Formal methods in verification of real-time and embedded systems, including discrete and hybrid models, applications of temporal logic, symbolic model checking, automata-based ...
Nipkow, Tobias Nipkow, Tobias
Nipkow, Tobias- Technische Universität München - Automatic and interactive theorem proving, formal verification, formalizing programming languages, type systems, semantics, rewriting and unification, lambda-calculus. ...
Nilsson, Stefan Nilsson, Stefan
Nilsson, Stefan- Royal Institute of Technology, Stockholm, Sweden. Algorithms and data structures, sorting and searching, tries, routing. ...
Nieh, Jason Nieh, Jason
Nieh, Jason- Columbia University - operating systems, end-to-end system resource management, real-time interactive multimedia systems, network and thin-client computing, ubiquitous computing architectures, performance ev ...
O'Hallaron, Dave O'Hallaron, Dave
O'Hallaron, Dave- Carnegie Mellon University - Internet services and high-performance distributed computing. ...
Ooi, Beng Chin Ooi, Beng Chin
Ooi, Beng Chin- National University of Singapore - Database performance issues, indexing techniques, multimedia databases, high-dimensional databases and internet applications ...
Orsini, Luciano Orsini, Luciano
Orsini, Luciano- CERN EP Division - High-Performance distributed systems, Distributed operating systems, Component systems. ...
O'Boyle, Michael O'Boyle, Michael
O'Boyle, Michael- University of Edinburgh - Auto-parallelising compilers, optimising for locality, compiling for distributed shared memory, adaptive compilation for VLIW processors, linear program transformation theory a ...
Ong, C.-H. Luke Ong, C.-H. Luke
Ong, C.-H. Luke- Merton College, Oxford - Semantics of programming languages, lambda calculus, categorical logic and type theory, game semantics, linear logic. ...
Pierce, Benjamin C. Pierce, Benjamin C.
Pierce, Benjamin C.- University of Pennsylvania. Programming languages, type systems, and distributed programming. ...
Prasad, Sanjiva Prasad, Sanjiva
Prasad, Sanjiva- Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems ...
Pandya, Paritosh K. Pandya, Paritosh K.
Pandya, Paritosh K.- Tata Institute of Fundamental Research, Mumbai - Logic, Concurrency, Programming Languages, Formal Methods and Software Engineering. ...
Perry, Dewayne Perry, Dewayne
Perry, Dewayne- University of Texas at Austin - Software engineering, system evolution, large-scale systems. ...
Paulson, Lawrence C. Paulson, Lawrence C.
Paulson, Lawrence C.- University of Cambridge - Interactive theorem proving and its applications. ...
Pitts, Andrew Pitts, Andrew
Pitts, Andrew- University of Cambridge - Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reasoning about program propert ...
Quaglia, Francesco Quaglia, Francesco
Quaglia, Francesco- Università di Roma - Fault-tolerant distributed computing, parallel simulation and performance evaluation. ...
Quinlan, Ross Quinlan, Ross
Quinlan, Ross- University of New South Wales - Machine learning and data mining. ...
Revesz, Peter Revesz, Peter
Revesz, Peter- University of Nebraska-Lincoln - Scientific databases, content-based image retrieval, geographic information systems, spatiotemporal data, computational biology. ...
Rosebrugh, Robert Rosebrugh, Robert
Rosebrugh, Robert- Mount Allison University - Higher dimensional category theory, computational category theory and theory of database systems. ...
Renardel de Lavalette, Gerard R. Renardel de Lavalette, Gerard R.
Renardel de Lavalette, Gerard R.- University of Groningen - Specification languages and formal specification. ...
Roerdink, Jos Roerdink, Jos
Roerdink, Jos- University of Groningen - Image processing, mathematical morphology, wavelets, computer vision and scientific visualization. ...
Ramamritham, Krithi Ramamritham, Krithi
Ramamritham, Krithi- Indian Institute of Technology, Bombay - Real-time systems, Transaction processing in database systems, Real-time databases systems ...
Ranade, Abhiram Ranade, Abhiram
Ranade, Abhiram- Indian Institute of Technology, Bombay - Algorithms, Combinatorial Optimization. ...
Ramesh, S. Ramesh, S.
Ramesh, S.- Indian Institute of Technology, Bombay - Concurrency, Formal Specification and Verification, Programming Languages, Real time and Reactive Programming, Distributed Computing. ...
Rao, S. S. S. P. Rao, S. S. S. P.
Rao, S. S. S. P.- Indian Institute of Technology, Bombay - VLSI Design, Advanced Computer Architecture, Reconfigurable Computing, Microprocessor Design and Interfaces. ...
Richards, Martin Richards, Martin
Richards, Martin- University of Cambridge - Programming language design and implementation, typeless languages, optimizing compilers, efficient interpreters, just-in-time compilation. ...
Robinson, Peter Robinson, Peter
Robinson, Peter- University of Cambridge - Human-computer interaction, electronic design automation, self-timed circuits. ...
Rivest, Ronald L. Rivest, Ronald L.
Rivest, Ronald L.- Webster Professor of MIT's Electrical Engineering and Computer Science, Associate Director of MIT's Laboratory for Computer Science, a founder of RSA Data Security ...
Snodgrass, Richard T. Snodgrass, Richard T.
Snodgrass, Richard T.- University of Arizona - Temporal databases, query language design, query optimization and evaluation, storage structures, database design, and software development databases. ...
Smits, Brian Smits, Brian
Smits, Brian- University of Utah - Computer graphics, rendering, global illumination, and real time ray tracing. ...
Steedman, Mark Steedman, Mark
Steedman, Mark- University of Edinburgh - Computational linguistics, artificial intelligence, formal grammar, intonation, spoken language processing, animated conversational agents. ...
Sammut, Claude Sammut, Claude
Sammut, Claude- University of New South Wales - Machine learning, logic programming, and knowledge based systems. ...
Shepherd, John Shepherd, John
Shepherd, John- University of New South Wales - Databases, web search engines, image databases, education via the Internet, information filtering, deductive databases, and functional programming. ...
Sowmya, Arcot Sowmya, Arcot
Sowmya, Arcot- University of New South Wales - Computer vision, spatial reasoning, robotics, concurrent and real-time systems, and component reuse in VLSI design. ...
Smedinga, Rein Smedinga, Rein
Smedinga, Rein- University of Groningen - Discrete event systems and object oriented programming. ...
Stantchev, Vladimir and Lubomira Stantchev, Vladimir and Lubomira
Stantchev, Vladimir and Lubomira- Humboldt University, Berlin. ...
Stout, Quentin Stout, Quentin
Stout, Quentin- University of Michigan - Computer science professor with research in parallel computing, algorithms, scientific and statistical computing, and discrete mathematics. ...
Sanghi, Dheeraj Sanghi, Dheeraj
Sanghi, Dheeraj- Indian Institute of Technology, Kanpur - Computer Networks, Protocols, TCP/IP, IPv6, ATM, Multimedia, IP/PSTN Internetworking, Operating Systems. ...
Sen, Sandeep Sen, Sandeep
Sen, Sandeep- Indian Institute of Technology, Delhi - Randomized Algorithms, Parallel Algorithms, Computational Geometry, Memory Hierarchy Models ...
Sutter, Herb Sutter, Herb
Sutter, Herb- Secretary of the ISO/ANSI C++ Standards Committee, Writer, Consultant - Information on C++ ...
Shankar, B. Uma Shankar, B. Uma
Shankar, B. Uma- Machine Intelligence Unit, Indian Statistical Institute, Kolkata - Pattern recognition, Image processing and Soft Computing with applications to Remote sensing. ...
Sivasubramaniam, Anand Sivasubramaniam, Anand
Sivasubramaniam, Anand- Pennsylvania State University - Computer architecture, operating systems, parallel computing, simulation and evaluation of computer systems. ...
Sivakumar, G. Sivakumar, G.
Sivakumar, G.- Indian Institute of Technology, Bombay - Automated Reasoning, Logic Programming, Rewrite Systems, Networks, Distributed Systems ...
Sailer, Martin Sailer, Martin
Sailer, Martin- Ludwig-Maximilians-Universität München - Management Information Base for Services, Information Modeling for Service Management ...
Spivack, Nova Spivack, Nova
Spivack, Nova- CEO of Radar Networks, and co-founder of EarthWeb - Semantic Web, Knowledge Management ...

Latest sites from Computer Science