About

David Tarditi is a technical leader with over 16 years of experience growing and leading engineering and research teams. Currently, he is the VP of Engineering at CertiK, a pioneer in blockchain security. David is passionate about building great teams and helping people expand their skills and knowledge. He believes in the importance of building more secure and reliable software and systems, which is why he works on blockchain security now. David has worked on compilers, programming languages, operating systems, and security. He started and led the Checked C open-source project, an extension for C that enables more secure C code to be written. At CertiK, he uses formal methods, static analysis, dynamic monitoring, and manual testing to secure blockchain protocols and smart contracts. The company's mission is to secure the cyber world, starting with blockchain. David's past experience includes working at Microsoft as a Principal Group Software Engineering Manager and a Principal Software Engineering Lead. At Microsoft, he led the Operating System team for Azure Sphere, where they shipped a secure IoT operating system on a monthly cadence. His group also included the Checked C team and the Engineering Platform team. He also led the Engineering Platform Team for Azure Sphere, which is the platform for engineering software across the Azure Sphere product. The mission was to empower their development team and device manufacturers to create secure and trustworthy software for IoT devices. David holds a Bachelor of Science in Engineering in Computer Science from Princeton University. His tech stack includes Senior Software Engineer, Blockchain, Smart Contract, test, Azure, Research Scientist, Software Engineer, and infra. With almost 27 years of relevant experience, David is a technical leader who is passionate about building secure software and teams.