United States

SOON

Producto

Infraestructura

Integración

Protocols

Apps

Herramientas

Scaling

robots

Coordinación de Recursos

Oracles

intercambios

Carteras

Gaming

DeFi

Dev Tools

Data

Block Explorers

Stablecoins

indexación

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

Yu Feng

Rondas de Financiamiento

CypherHunter Plus

Yu Feng

Rondas de inversión

Negocios por año

Portafolio