L People Computer Science

L

• - Institute of Mathematical Sciences, Chennai - Concurrency theory - automata, logics, models.
  
• - Natural language understanding, science education.
  
• - Durham University, UK - semantics of programming languages, type theory, theoretical computer science and semantics of natural languages. Formulated the Extended Calculus of Constructions.
  
• - Columbia University - Machine Learning, Bioinformatics and Theory. Selected Publications.
  
• - MIT Media Laboratory - Philosophically motivated AI, commonsense reasoning, assistive software agents, lexical semantics, story understanding.
  
• - Microsoft Research - Programming languages, Algorithms, Verification. Author of Latex.
  
• - Mississippi State University - Instruction set architecture, data compression.
  
• - Boston University - Randomness in computing; algorithmic complexity and intractability; foundations of mathematics, computer science and probability; theory of computation; and information theory.
  
• - University of New South Wales - Algorithm design, computational geometry, distributed and parallel computing, databases, data mining, and graph layouts.
  
• - University of California, Riverside - Computational Biology, Data Compression, Data Mining, Information Hiding.
  
• - Personal website of Dr. Wes Leggett. Information for on-line and on-campus educational technology courses, links, and a family album page.
  
• - Cambridge University - Concurrency theory and programming languages.
  
• - Agricultural University of Athens - Data modelling, temporal databases, spatial database systems, image processing.
  
• - University of Edinburgh - Theoretical and computational linguistics, semantics, pragmatics, logic and knowledge representation.
  
• - University of New South Wales - Triangulation of planar straight line graphs, 3d convex hulls, and virtual reality.
  
  

Copyright © 1995-2007 Internet Advertising Solutions, Inc.
Copyright Notice | Privacy Policy | Site Map | APR