{ } About me
I'm a postdoc fellow at Grinnell College, working with Peter-Michael Osera on program synthesis.
Research Interests
Formal Verification, Program Languages, Software Engineering, Systems and Security, Artificial Intelligence
as well as theories and applications in practical problems. CV
Before Grinnell
I completed my PhD from Stevens, advised by Prof. Koskinen.
I like mathematical modeling, which dissects practical problems using precise mathematical logics. The abstracted models can then subsequently be employed to address a wide spectrum of real-world challenges, they are great tools to enchance our ability to comprehend and interpret the reality through the lense of software systems.
On the personal side I enjoy sports (workout, running, hiking, swimming), dancing to the music, reading (my bookshelves), and traveling to interesting cities. Ocassionally, I like writing Blogs.
New If you are Grinnell student and would like to do summer research with me, checkout MAP proposal for details!