The article talks about Robert J. Lang (https://langorigami.com), but he deserves more than a passing mention if we're talking about origami. He's a physicist/mathematician at NASA, an AMS Fellow, and also one of the top origamists in the world.
He wrote dozens of papers about the mathematics of origami over the years, and last year he came out with a gorgeous book on the subject: Twists, Tilings, and Tessellations: Mathematical Methods for Geometric Origami (https://www.amazon.com/Twists-Tilings-Tessellations-Mathemat...)
He also has a bunch of origami books with "regular" animal models, but they tend to be on the complex end of the spectrum, so they're not for beginner origamists.
He also developed TreeMaker, which is a software tool for systematically designing folding patterns from a model specification: https://langorigami.com/article/treemaker/ (some of his complex insect models are based on TreeMaker folding patterns)
Here's a video showing his extraordinary origami insects: https://www.youtube.com/watch?v=CYoTCssVyJU
He wrote dozens of papers about the mathematics of origami over the years, and last year he came out with a gorgeous book on the subject: Twists, Tilings, and Tessellations: Mathematical Methods for Geometric Origami (https://www.amazon.com/Twists-Tilings-Tessellations-Mathemat...)
He also has a bunch of origami books with "regular" animal models, but they tend to be on the complex end of the spectrum, so they're not for beginner origamists.
He also developed TreeMaker, which is a software tool for systematically designing folding patterns from a model specification: https://langorigami.com/article/treemaker/ (some of his complex insect models are based on TreeMaker folding patterns)