Erik K. Antonsson

Papers

Total Citations

H-Index

About

Erik K. Antonsson is a pioneer in the application of formal methods to engineering design, with a particular focus on computational synthesis and design grammars. His most influential work, "Grammars for engineering design" (1994), introduced a transformative framework that treats design generation much like natural language: using formal rules to combine a "dictionary" of shapes, properties, and labels into complex, valid structures. This foundational concept has shaped how researchers and practitioners approach automated design generation, enabling systematic exploration of design spaces. Antonsson also explored collective robotics, as seen in his work on evolving neural controllers for robotic inspection (2006, 8 citations), and contributed to mathematical foundations with his study of membership induced on manifolds by vector fields (1995, 8 citations). While his citation counts reflect a focused, niche impact, his design grammar work remains a touchstone for those working in computational design, engineering synthesis, and formal design theory. Antonsson’s career demonstrates how abstract, mathematical ideas can yield practical tools for engineering innovation.