Passer directement au contenu principal
Microsoft
Recherche
Recherche
Recherche
Accueil
Domaines de recherche
Intelligence
Intelligence
Intelligence artificielle
Audio & acoustique
Vision de l'ordinateur
Graphismes et multimédia
Interaction homme-ordinateur
Technologies du langage humain
Recherche et récupération d'informations
Systèmes
Systèmes
Plateformes de données et analyses
Matériel et Appareils
Langages de programmation et ingénierie logicielle
Calcul quantique
Sécurité, confidentialité et cryptographie
Systèmes et réseaux
Théorie
Théorie
Algorithmes
Mathématiques
Autres sciences
Autres sciences
Écologie et environnement
Économie
Médical, santé et génomique
Sciences sociales
Technologie pour les marchés émergents
Produits et téléchargements
Programmes et evénements
Programmes académiques
Événements et conférences
Carrières
Personnes
Index des personnes
Programme émérite
Actualités et récompenses
Blogs et d'apprentissage
Microsoft Research Blog
Microsoft Research podcast
Microsoft Research webinars
Microsoft Research newsletter
Plus
Labs et lieux
Labs et lieux
Microsoft Research
Microsoft Research
AI4Science
AI Frontiers
Avenir de la santé
Asia-Pacific
Cambridge
India
Montréal
New England
New York City
Redmond
Autres laboratoires/lieux
Autres laboratoires/lieux
Laboratoire de recherche – Applied Sciences
Réalité Mixte - AI Cambridge
Réalité Mixte - AI Zurich Lab
Tout de Microsoft
Global
Sécurité Microsoft
Azure
Dynamics 365
Microsoft 365
Microsoft Teams
Windows 365
Technologie et innovation
Technologie et innovation
Nuage Microsoft
IA
Espace Azure
Réalité mixte
HoloLens de Microsoft
Microsoft Viva
Informatique quantique
Durabilité
Secteurs d’activité
Secteurs d’activité
Éducation
Automobile
Services financiers
Gouvernement
Soins de santé
Fabrication
Vente au détail
Tous les secteurs d’activités
Partenaires
Partenaires
Trouver un partenaire
Devenir un partenaire
Partner Network
Azure Marketplace
AppSource
Ressources
Ressources
Blogue
Microsoft Advertising
Centre pour les développeurs
Documentation
Événements
Licences
Microsoft Learn
Microsoft Research
Afficher le plan du site
Rechercher
Recherche Microsoft Research
Aucun résultat
Annuler
AI meets PL: Combining Program Synthesis with AI and Machine Learning
Aperçu
Personne
Papiers de Collaboration
Groups
Personne
Arun Iyer
Chercheur principal
Nagarajan Natarajan
Chercheur principal
Suresh Parthasarathy
Principal Research Developer
Opens in a new tab
Follow us:
Follow on X
Like on Facebook
Follow on LinkedIn
Subscribe on Youtube
Follow on Instagram
Subscribe to our RSS feed
Share this page:
Share on X
Share on Facebook
Share on LinkedIn
Share on Reddit
Français
English
Français
