Personal website of Dr. Wes Leggett. Information for on-line and on-campus educational technology courses, links, and a family album page.

Natural language understanding, science education.

University of New South Wales - Triangulation of planar straight line graphs, 3d convex hulls, and virtual reality.

Microsoft Research - Programming languages, Algorithms, Verification. Author of Latex.

University of Edinburgh - Theoretical and computational linguistics, semantics, pragmatics, logic and knowledge representation.

Cambridge University - Concurrency theory and programming languages.

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.

Mississippi State University - Instruction set architecture, data compression.

MIT Media Laboratory - Philosophically motivated AI, commonsense reasoning, assistive software agents, lexical semantics, story understanding.

Institute of Mathematical Sciences, Chennai - Concurrency theory - automata, logics, models.

University of California, Riverside - Computational Biology, Data Compression, Data Mining, Information Hiding.

Columbia University - Machine Learning, Bioinformatics and Theory. Selected Publications.

Agricultural University of Athens - Data modelling, temporal databases, spatial database systems, image processing.

Durham University, UK - semantics of programming languages, type theory, theoretical computer science and semantics of natural languages. Formulated the Extended Calculus of Constructions.