Marcelo Taube

Marcelo Taube is a seasoned software engineer with extensive experience in software development and project leadership. Marcelo has held significant roles at various high-profile companies including Google, where responsibilities included software engineering, and XtremIO (a division of EMC/Dell), where Marcelo served as a datapath software engineer and team lead. At Certora, Marcelo specialized as a formal verification expert while also engaging in some fullstack development. Marcelo's tenure at Meta involved software engineering, contributing to impactful projects, and Marcelo currently applies expertise in control plane software engineering and project leadership at WEKA.