Blake C. Rawlings is a Senior Member of the Technical Staff at Sandia National Laboratories, in the Digital Foundations and Mathematics group. His research focuses on formal methods, including discrete dynamical systems, temporal logic, and model checking. He received his B.S. in Chemical Engineering from The University of Texas in 2011 and his Ph.D. (also in Chemical Engineering) from Carnegie Mellon University in 2016, advised by B. Erik Ydstie. Prior to joining Sandia, he was a postdoctoral research fellow in the Electrical Engineering and Computer Science department at the University of Michigan, supervised by Stéphane Lafortune.