Jekyll2026-10-17T19:45:52-07:00https://jundaz.github.io/feed.xmlJunda Zhao is a PhD candidate at the University of Toronto working on reliable testing and verification for AI coding agents. Seeking a postdoctoral position starting in late 2027.Junda Zhaojunda.zhao@mail.utoronto.ca