Optimize the performance of CUDA Tile by designing compiler transformations and public APIs, while developing MLIR dialects and enhancing GPU execution, playing a critical role in advancing deep learning across multiple architectures.

Champion the development of advanced 3D mapping and perception solutions to enhance autonomous driving capabilities, collaborating closely with diverse teams to create safe and reliable models in challenging environments worldwide.

Empower innovation by leading the development of advanced EDA verification tools. Collaborate on groundbreaking AI-powered solutions that enhance design efficiency and tackle complex hardware verification challenges at scale.

Shape the future of hardware verification by leading innovative R&D in formal methods and AI-enhanced EDA tools, driving collaboration and efficiency in solving complex verification challenges with autonomous systems.

Drive the development of groundbreaking formal verification tools, utilizing cutting-edge AI frameworks and advanced algorithms. Lead the design and implementation of multi-agent systems to enhance hardware verification at unprecedented scales.