Timothy Zhou


I’m a sophomore undergraduate student at the University of Illinois at Urbana-Champaign (UIUC), double majoring in Computer Science and Mathematics. I have broad interests in Programming Languages and Formal Methods—some languages I like, in no particular order: Lean, Haskell, Idris.

I am currently working with Professor Talia Ringer and members of UMASS LASER (Alex-Sanchez Stern, Emily First, Zhanna Kaufman, and Professor Yuriy Brun) on AST enrichments to improve machine learning models for Coq, with applications to tactic prediction.

Previously, I was a research intern at the University of Washington’s Autonomous Flight Systems Laboratory, where I worked on the software and paper for WiSAR, a project combining computer vision algorithms with drone-mounted thermal sensors to locate lost hikers in wilderness search and rescue environments.

Here is a copy of my CV.