At UMD, I lead the Foundations Of Reliable MAchine Learning (FORMAL) group.