Aric Fowler (MS'22 and PhD'25) has just completed his graduate schooling at the University of Texas at Dallas, where his research concerned hardware security attacks and other hardware trust applications that made use of satisfiability solvers.