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 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!

Sign in to participate in the conversation
Scholar Social

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!