- Totalmente financiado
- Universidad de Michigan
- Bachillerato
- sistemas informáticos, lenguajes de programación, ingeniería de software, inteligencia artificial y métodos formales.
Estudiantes internacionales - EE.UU.
- La fecha límite es el 15 de diciembre. 2020 para el doctorado y el 15 de enero. 2021 para la maestría
Descripción de la beca:
Los posibles temas de investigación incluyen, pero no se limitan a:
– Síntesis y reparación de programas, incluyendo la aplicación de técnicas de síntesis de programas a varios dominios de aplicación, síntesis de programas a partir de especificaciones multimodales, síntesis de programas interactivos, uso de técnicas de aprendizaje automático e inteligencia artificial para la síntesis de programas, etc.
– Análisis y verificación de programas, como el desarrollo de nuevas técnicas de análisis y verificación de programas para nuevos dominios de aplicación y hardware emergente.
Temas disponibles:
sistemas informáticos, lenguajes de programación, ingeniería de software, inteligencia artificial y métodos formales.
Criterios de elegibilidad:
apasionados por la investigación, auto-motivados, tener una sólida formación en ciencias e ingeniería informática
Nacionalidades elegibles:
Los estudiantes internacionales de cualquier país son elegibles para solicitar la beca.
Procedimiento de solicitud:
Más información sobre el Dr. Wang y su investigación se puede encontrar aquí: https://web.eecs.umich.edu/~xwangsd/.
