Leyton's book, A Generative Theory of Design (Springer-Verlag, 2001) gives an extensive group-theoretic treatment of computer-aided design, robotics, and perception. In the area of CAD, Leyton gives an comprehensive mathematical theory of all the main phases of mechancal and architectural CAD. In the area of robotics, he gives a new group-theoretic treatment of manipulator structure. Finally, in the area of perception, he gives a mathematically complete theory of grouping and shape representation.
Professor Leyton's homepage is http://www.rci.rutgers.edu/~mleyton/homepage.htm
Email address: MLeyton@msn.com
International Society for Group Theory in Cognitive Science: Group theory, cognitive science, robotics, problem-solving, planning, learning, language, perception, art, design, engineering and manufacturing, scientific visualization, measurement, epistemology, computation, neuroscience, anthropology, semiotics, formal models, mathematics, Turing machines, Computer aided design (CAD), Computer aided manufacturing (CAM), Lie groups, Lie algebras, symmetry, transformations in perception, music, musical composition, artistic composition, shape grammars, process grammars, design grammars, Gestalt, gestalt theory, gestalt psychology, gestalt perception, architecture, scientific visualization, mathematical linguistics, mathematical anthropology, mathematical neuroscience, mathematical psychology, mathematical music theory,