smit

Rex St. John

Matthew Katz

Yu Feng

Abhimanyu Bansal

Jason Lee

Tom Warner

Rachel Chu

Dani Osorio

Jed Halfon

Jonathan King

Adam Jin

Kash Dhanda

Robinson Burkey

Amrit Kumar

The Rollup Ventures

Anna Yuan

Prabal Banerjee

Skylar Weaver

Gajesh Naik

Alex Kehaya

Anatoly Yakovenko

Alex Pruden

Kartik Talwar

Mable Jiang

Mustafa Al-Bassam

Shumo Chu

Victor Ji

Lily Liu

United States

SOON

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).

Portafolio

CypherHunter Plus

Yu Feng

Rondas de Financiamiento

Coinversionistas