Martin Vechev is an AI Research Professor and Tech Entrepreneur, ranked #2 in Tech & Software (AI & ML Researchers) (Top 4%).
Last updated
Martin Vechev is a Full Professor at ETH Zurich and the founder and scientific director of INSAIT. His work spans topics such as safe AI, quantum computation, and AI for code. He has co-founded six deep-tech startups in areas like Generative AI, Robust AI, and Security, with three being acquired. He frequently shares research findings, promotes AI advancements, and highlights the achievements of his students and colleagues. His posts often focus on evaluating AI models, mathematical proofs, and the impact of AI research on national and global scales.
AI models are not yet there for fully automating mathematical research.
Favikon helps you find the right creators, analyze them in depth, reach out at scale, and track what works.