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 91成人短视频 Engineering from The University of Texas in 2011 and his Ph.D. (also in 91成人短视频 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.