Speakers MF
Software Engineer
My name is Miguel Ferreira and I’m currently a freelance Software and Systems Engineer. In the past, I've done research on formal verification of computer systems. I worked on layered approaches that combine testing, model checking and theorem proving, to reduce the feedback loops...
Read More →