image/svg+xml Follow

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!

@k3jph for instance provable guarantees on a given specification

Sign in to participate in the conversation
Scholar Social

Scholar Social is a microblogging platform for researchers, grad students, librarians, archivists, undergrads, academically inclined high schoolers, educators of all levels, journal editors, research assistants, professors, administrators—anyone involved in academia who is willing to engage with others respectfully. Read more ...