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,