07/08/2026
We are thrilled to celebrate our very own Jessy Li, as well as Milos Gligoric from UT’s Department of Electrical and Computer Engineering, for winning a Fall 2025 Amazon Research Award! Their grant is titled “Documenting and Recommending Tactics in HOL Light.” More information is available here: https://www.amazon.science/research-awards/latest-news/fall-2025-amazon-research-awards-recipients-announced. Congratulations, Jessy and Milos!