Brain John Aboze
(Developer Evangelist)
Talk by Brain John Aboze on formal verification in ML.