L People Computer Science

Computers

@InterMall Software Shoppe - Discount computer software at greatly reduced prices - Games, business, graphics, educational, desktop publishing, reference, and much more! [Preview] Amazon.com Electronics - Top selling consumer electronics at Amazon.com -- camcorders, cameras, home theatre, PDA's, phones, televisions, computer hardware and software and more! Shopping at Amazon.com is always 100% secure, guaranteed. [Preview] >> List Your Site Here << [Top]

Top: Computers: Computer_Science: People: L:

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