Hannah Leung
Affiliations. Address. Contacts. Motto. Etc.

head(LN)++FN@illinois.edu
Siebel Center, 4111-09
University of Illinois Urbana-Champaign
Urbana, IL
“I keep the subject constantly before me, and wait ‘till the first dawnings open slowly, by little and little, into a full and clear light.” – Isaac Newton
I’m currently working with Dr. Talia Ringer and Dr. Christopher W. Fletcher on verifying security properties of Oblivious RAM.
I love talking to people who are passionate about programming language design and verification, computer systems, meta theory, formal systems, computational geometry and entrepreneurship.
If you’d like to chat, book me via this link.
news
Jan 10, 2025 | I will be visiting my co-advisor Professor Chris Fletcher at UC Berkeley! ![]() |
---|
latest posts
Mar 26, 2025 | a post with plotly.js |
---|---|
Dec 04, 2024 | a post with image galleries |
May 14, 2024 | Google Gemini updates: Flash 1.5, Gemma 2 and Project Astra |
selected publications
- Repurposing anti-inflammasome NRTIs for improving insulin sensitivity and reducing type 2 diabetes developmentNature Communications, 2020