In our research we apply program verification techniques to machine learning algorithms; e.g., neural networks. We aim to help practitioners build safe, reliable, and ethical machine learning systems.
I studied math and physics as an undergrad. This background has its benefits, though I’ve had a lot of catching up to do in CS.
I hope this blog evolves into something useful and interesting.