For more on seL4, see my interview with Gerwin Klein.
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! :)
Awesome, thanks!
For more on seL4, see my interview with Gerwin Klein.
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! :)
Awesome, thanks!