Hello everyone!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
@rhapsodos Hi welcome :)
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!