Computer Science

Renardel de Lavalette, Gerard R. Renardel de Lavalette, Gerard R.- University of Groningen - Specification languages and formal specification. Rosebrugh, Robert Rosebrugh, Robert- Mount Allison University - Higher dimensional category theory, computational category theory and theory of database systems. Revesz, Peter Revesz, Peter- University of Nebraska-Lincoln - Scientific databases, content-based image retrieval, geographic information systems, spatiotemporal data, computational biology. Quinlan, Ross Quinlan, Ross- University of New South Wales - Machine learning and data mining. Quaglia, Francesco Quaglia, Francesco- Università di Roma - Fault-tolerant distributed computing, parallel simulation and performance evaluation. 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 l… Paulson, Lawrence C. Paulson, Lawrence C.- University of Cambridge - Interactive theorem proving and its applications. Perry, Dewayne Perry, Dewayne- University of Texas at Austin - Software engineering, system evolution, large-scale systems. Phatak, Deepak Phatak, Deepak- Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation, Distributed Client Server Information Systems Pandya, Paritosh K. Pandya, Paritosh K.- Tata Institute of Fundamental Research, Mumbai - Logic, Concurrency, Programming Languages, Formal Methods and Software Engineering. Prasad, Sanjiva Prasad, Sanjiva- Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems Pierce, Benjamin C. Pierce, Benjamin C.- University of Pennsylvania. Programming languages, type systems, and distributed programming. 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. O'Boyle, Michael O'Boyle, Michael- University of Edinburgh - Auto-parallelising compilers, optimising for locality, compiling for distributed shared memory, adaptive compilation for VLIW processor… Orsini, Luciano Orsini, Luciano- CERN EP Division - High-Performance distributed systems, Distributed operating systems, Component systems. Ooi, Beng Chin Ooi, Beng Chin- National University of Singapore - Database performance issues, indexing techniques, multimedia databases, high-dimensional databases and internet applications O'Hallaron, Dave O'Hallaron, Dave- Carnegie Mellon University - Internet services and high-performance distributed computing. Nieh, Jason Nieh, Jason- Columbia University - operating systems, end-to-end system resource management, real-time interactive multimedia systems, network and thin-client computing, ubiquitou… Nilsson, Stefan Nilsson, Stefan- Royal Institute of Technology, Stockholm, Sweden. Algorithms and data structures, sorting and searching, tries, routing. Nipkow, Tobias Nipkow, Tobias- Technische Universität München - Automatic and interactive theorem proving, formal verification, formalizing programming languages, type systems, semantics, rewrit… 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… Miculan, Marino Miculan, Marino- University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus. Montanari, Angelo Montanari, Angelo- University of Udine - Logical specifications of real-time systems, temporal and object-oriented databases, deductive databases, temporal representation and reas… McCusker, Guy McCusker, Guy- School of Cognitive and Computing Sciences, University of Sussex - Semantics of programming languages. Mycroft, Alan Mycroft, Alan- University of Cambridge - Semantics and compilation of programs, static analysis of programs. Moore, Simon W. Moore, Simon W.- University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems. Menezes, Bernard Menezes, Bernard- Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security, Parallel Computing Manning, Christopher Manning, Christopher- Stanford University - Syntax, computational linguistics. Martini, Simone Martini, Simone- University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus. Mukund, Madhavan Mukund, Madhavan- Chennai Mathematical Institute - logic and models for concurrency Maes, Stephane H. Maes, Stephane H.- IBM T. J. Watson Research Centre - Conversational Multi modal computing, Mobile speech solutions, Speech recognition, Signal Processing, Pattern Recognition Mukerjee, Amitabha Mukerjee, Amitabha- Indian Institute of Technology, Kanpur - Artificial Intelligence, Computer Vision, Geometric Modelling, Robotics. Misra, Jayadev Misra, Jayadev- University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems. Mayer, Helmut A. Mayer, Helmut A.- University of Salzburg - Natural computation, image processing, parallel computation, software engineering, and robotics. Moddemeijer, Rudy Moddemeijer, Rudy- University of Groningen - Image and signal processing, information theory,model selection, Modula-3. Makowsky, Johann Makowsky, Johann- The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity. Liu, Hugo Liu, Hugo- MIT Media Laboratory - Philosophically motivated AI, commonsense reasoning, assistive software agents, lexical semantics, story understanding. Leifer, James J. Leifer, James J.- INRIA Rocquencourt - Concurrency theory and programming languages. Dr. Wes Leggett, Educational Technology Professor & Consultant Dr. Wes Leggett, Educational Technology Professor & Consultant- Personal website of Dr. Wes Leggett. Information for on-line and on-campus educational technology courses, links, a… Long, Phil Long, Phil- Theoretical and applied machine learning guy. Contact information and selected publications. Lascarides, Alex Lascarides, Alex- University of Edinburgh - Theoretical and computational linguistics, semantics, pragmatics, logic and knowledge representation. Lamport, Leslie Lamport, Leslie- Microsoft Research - Programming languages, Algorithms, Verification. Author of Latex. Lonardi, Stefano Lonardi, Stefano- University of California, Riverside - Computational Biology, Data Compression, Data Mining, Information Hiding. Levin, Leonid Levin, Leonid- Boston University - Randomness in computing; algorithmic complexity and intractability; foundations of mathematics, computer science and probability; theory of comp… Lin, Xuemin Lin, Xuemin- University of New South Wales - Algorithm design, computational geometry, distributed and parallel computing, databases, data mining, and graph layouts. Lambert, Lynn Lambert, Lynn- Natural language understanding, science education. Lifshits, Yury Lifshits, Yury- California Institute of Technology - Web algorithms, similarity search, behavioral targeting, recommendation systems. Publications, talks, course materials. Keller, Arthur Keller, Arthur- Stanford University - Electronic commerce, interoperability of heterogeneous databases, database integration, object-oriented databases, database implementation, d… Khardon, Roni Khardon, Roni- Tufts University - Computational learning theory, knowledge representation and reasoning, efficient algorithms . Kowalski, Robert Kowalski, Robert- Imperial College, London - Logic programming for knowledge representation and problem solving, Multi-agent systems, Legal reasoning.