Kevin Lacker is a cofounder of Parse and an experienced engineering leader with roles at Facebook and Google, specializing in search quality and AI. Currently focused on math and AI, he combines deep mathematical expertise with practical software engineering leadership. His work is accessible via acornprover.org, reflecting his engagement in advanced computational methods.

‌