Robert J. Lang

Lang is recognized as one of the leading theorists of the mathematics of origami. He has developed ways to algorithmetize the design process for origami, [7] and is the author of the proof of the completeness of the Huzita-Hatori axioms. Lang specializes in finding real-world applications for the various theories of origami he has developed. These included designing folding patterns for a German airbag manufacturer.