Hi there π I'm a professor at UC Berkeley in the EECS department. Check out more at my website. My current research focuses are program optimization and analysis, powered by techniques such as e-graphs, equality saturation, and datalog.