Jiayi Wei

Jiayi Wei 家一 魏

Research Scientist at stealth mode AI startup

UTOPIA Research Group

TAUR LAB

Biography

I am a research scientist at a stealth mode AI startup. I obtained my PhD degree in Computer Science at UT Austin, advised by Işıl Dillig and Greg Durrett. My PhD research focuses on combining deep learning with static analysis techniques to automate programming tasks such as inferring type annotations and suggesting code changes. During my first few years as a PhD student, I also explored a range of other research interests, including software security and verification, program synthesis, and robotics. Before joining UT, I received my bachelor’s degree in Physics from the University of Science and Technology of China.

Interests
  • AI for Code
  • Software Engineering
  • Programming Language Theories
Education
  • PhD in Computer Science, 2018—2023

    UT Austin

  • BSc in Physics, 2013—2017

    University of Science and Technology of China

Recent Publications

(2022). TypeT5: Seq2seq Type Inference using Static Analysis. In ICLR 2023.

PDF Cite Code Video

(2022). STEADY: Simultaneous State Estimation and Dynamics Learning from Indirect Observations. In IROS 2022.

PDF Cite Code Video

(2021). OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation. In IROS 2021.

PDF Cite Code Video

(2020). LambdaNet: Probabilistic Type Inference using Graph Neural Networks. In ICLR 2020.

PDF Cite Code Video