When did you start talking to formal verification researchers?
Because, you know, I totally have not wanted to do a PhD under any of these guys, or anything like that...
Many months ago. Subscribe to the MIRI blog! :)
When did you start talking to formal verification researchers?
Because, you know, I totally have not wanted to do a PhD under any of these guys, or anything like that...
Many months ago. Subscribe to the MIRI blog! :)