David Tarditi
Leads the Static Security Tools at Scale team in Apple's Languages and Runtime group, which works on eliminating classes of vulnerabilities in large codebases. Tarditi earlier spent over 25 years at Microsoft, where he started and led the Checked C project, and later worked at a blockchain security startup.