Yu Feng

Yu Feng es profesor adjunto en el departamento de ciencias de la computación de la UCSB. Recibió mi doctorado en ciencias de la computación en la Universidad de Texas en Austin en 2018.

Mis intereses de investigación incluyen los lenguajes de programación, el análisis y la verificación de programas, la síntesis de programas y la seguridad. Más específicamente, quiero crear herramientas automatizadas para garantizar el comportamiento deseado de un sistema de una manera sólida, precisa y escalable. También me interesa aplicar la síntesis y el análisis de programas para construir y romper sistemas, abordando los problemas de seguridad y rendimiento en los dispositivos móviles y la cadena de bloques.

Estoy buscando activamente estudiantes y posdoctorados con talento y automotivación. Si está interesado en crear un marco vanguardista de síntesis y análisis de programas que combine el poder del razonamiento lógico y el aprendizaje automático, envíeme un correo electrónico con su currículum (los conocimientos sobre resolución de restricciones o lenguajes de programación funcionales serán una gran ventaja).