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