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
1 articles liés à cet acteur
Les chercheurs de l'Université Rice aux États-Unis ont développé une application deep learning destinée à simplifier le développement de logiciels en...
