Hannah Leung

Affiliations. Address. Contacts. Motto. Etc.

prof_pic.jpg

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! :sparkles:

latest posts

selected publications

  1. Repurposing anti-inflammasome NRTIs for improving insulin sensitivity and reducing type 2 diabetes development
    Hannah Leung el. Jayakrishna Ambati
    Nature Communications, 2020