Web Directory by Internet-Web-Directory.com

London South Bank University - Formal methods, history of computing, online museums.

Microsoft Research - Type theory and operational semantics, mostly for applications to language design, semantics, and implementation. Semantic and type-theoretic foundations of object-oriented languages. Global and mobile computation issues.

Collection of programming-related links.

Technology Evangelist at Sun Microsystems, interests include software and aerospace engineering, molecular nanotechnology, streaming media and multimedia, java, and computer graphics.

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

Brigham Young University and University of Idaho - technical reference sources, software for designing & analyzing CPUs, and career information.

ETH Zurich - Human-computer interaction (HCI), cognitive ergonomics, and applied mathematics.

Personal site, information on my computer skills, education, projects, job search.

Keele University, UK

Triangle Software - Medical imaging, data visualization, 3D graphics, video processing.