Klas Leino

Klas Leino

I'm a PhD student at CMU concentrating on understanding and demystifying deep learning: I work to improve the generality, transparency, and security of DNNs.