
Registered user since Mon 16 Jun 2025
David Tarditi has over 30 years of experience working on programming languages and compilers. He has also worked on computer security and operating systems. His current research interest is programming language and tools support for safe systems programming. David leads the Static Security Tools at Scale team in Apple’s Languages and Runtime group, which works on eliminating classes of vulnerabilities in large code bases.
David has worked on a range of research topics over his career, including typed intermediate languages, compiler frameworks, optimizing compilation, static analysis, quantum compilation, and safe systems programming. Prior to joining Apple, he worked at a quantum computing startup and a blockchain security start up. Before that, he was at Microsoft for more than 25 years, where he held roles including Principal Researcher, research group manager, and Principal Group Software Engineering Manager. He started and led the Checked C project, an extension to C for safe systems programming. David has a Ph.D. in Computer Science from Carnegie Mellon University and a Bachelor’s degree from Princeton University.
Contributions