Dr. David Tarditi is a Principal Software Engineering Lead in the Azure Sphere team at Microsoft. Azure Sphere is a solution for creating highly-secured, connected MCU-based IoT devices. He leads the engineering platform group, which is responsible for the core infrastructure used for developing software for Azure Sphere, including build, CI, automated testing, compilers, and static analysis tools.

He has worked for over a decade on creating more secure systems. He started and also leads the Checked C project, an open-source extension to C for detecting and preventing common programming errors such as buffer overruns. He was a Principal Researcher at Microsoft Research and contributed to the Singularity Research operating system, which focused on the construction of dependable systems. David has a Ph.D. in computer science from Carnegie Mellon and has been at Microsoft for over 20 years.