Postdoctoral Scholar, Stanford 3D chips • Multi-chiplet verification System measurement Probabilistic computing