Nick_Tarleton comments on Call for new SIAI Visiting Fellows, on a rolling basis

[Nick_Tarleton]

Proving no buffer overflows would be nothing next to the other formal verification you’d be doing (I hope).