Swarat Chaudhuri

Professor · Institute of Technology Kharagpur

University of Texas at Austin · United States

Artificial IntelligenceFormal MethodsProgramming Languages and CompilersSafe autonomous systemsTrustworthy machine learningProgram synthesisAutomated reasoning

简介

His research vision is to build a new generation of AI systems that are designed from the ground up with the goals of reliability, transparency, and security. He seeks to realize this vision through a synthesis of ideas from programming languages, formal methods, and machine learning.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。