Swarat Chaudhuri

Swarat Chaudhuri est professeur associé d'informatique à l'Université Rice. Il travaille dans le domaine de recherche des méthodes formelles. Ses recherches portent sur deux axes principaux: (a) les algorithmes, basés sur la déduction automatisée, la recherche et l'optimisation combinatoires et l'apprentissage automatique statistique, destinés à l'analyse et à la synthèse de programmes; et (b) l'utilisation de ces algorithmes dans des outils pratiques qui rendent les programmes plus fiables, plus performants et plus faciles à écrire. Les applications qui motivent son travail proviennent de divers domaines, dont l'intelligence artificielle, le génie logiciel industriel, la programmation utilisateur, la robotique et les systèmes cyber-physiques.

Individu