Hannah Leung

first.last@purdue.edu

305 N. University Street

Purdue University

West Lafayette, IN 47907

“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. Tiark Rompf and Dr. Oliver Bračevac on the Dependent Object Types.

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

May 15, 2021 I will be attending OPLSS this summer. :sparkles:
Aug 24, 2020 I will be joining Dr. Tiark Rompf’s research group this fall semester.

selected publications

  1. Cytoplasmic synthesis of endogenous Alu complementary DNA via reverse transcription and implications in age-related macular degeneration
    Fukuda, Shinichi, Varshney, Akhil, Fowler, Benjamin J., Wang, Shao-bin, Narendran, Siddharth, Ambati, Kameshwari, Yasuma, Tetsuhiro, Magagnoli, Joseph, Leung, Hannah, Hirahara, Shuichiro, Nagasaka, Yosuke, Yasuma, Reo, Apicella, Ivana, Pereira, Felipe, Makin, Ryan D., Magner, Eamonn, Liu, Xinan, Sun, Jian, Wang, Mo, Baker, Kirstie, Marion, Kenneth M., Huang, Xiwen, Baghdasaryan, Elmira, Ambati, Meenakshi, Ambati, Vidya L., Pandey, Akshat, Pandya, Lekha, Cummings, Tammy, Banerjee, Daipayan, Huang, Peirong, Yerramothu, Praveen, Tolstonog, Genrich V., Held, Ulrike, Erwin, Jennifer A., Paquola, Apua C. M., Herdy, Joseph R., Ogura, Yuichiro, Terasaki, Hiroko, Oshika, Tetsuro, Darwish, Shaban, Singh, Ramendra K., Mozaffari, Saghar, Bhattarai, Deepak, Kim, Kyung Bo, Hardin, James W., Bennett, Charles L., Hinton, David R., Hanson, Timothy E., Röver, Christian, Parang, Keykavous, Kerur, Nagaraj, Liu, Jinze, Werner, Brian C., Sutton, S. Scott, Sadda, Srinivas R., Schumann, Gerald G., Gelfand, Bradley D., Gage, Fred H., and Ambati, Jayakrishna
    Proceedings of the National Academy of Sciences 2021
  2. Repurposing anti-inflammasome NRTIs for improving insulin sensitivity and reducing type 2 diabetes development
    Jayakrishna Ambati, Hannah Leung el.
    Nature Communications 2020