I'm a first year PhD student in Computer Science, formal methods.
During my thesis, I want to learn how to bring trust in #machinelearning software, and I firmly believe that all the tools we already developed in formal verification can be leveraged for that goal.
Everyone seems to be really hyped about deep learning, but that kind of software is really vulnerable. I want to discover how we can cope with that.
So, let's discuss! #introduction