The FLINT Project

Research

People

Publications

Software

Support

Links

Internal

People

Last modified: Tue Aug 19 01:27:31 2025 GMT.

Current Members

  • Zhong Shao,   Professor
  • Jérémie Koenig,   Associate Research Scientist
  • Jaemin Hong,   Research Associate
  • Yoonseung Kim,   Visiting Researcher
  • Richard Habeeb,   PhD Student
  • Yixuan Chen,   PhD Student
  • Arthur Oliveira Vale,   PhD Student
  • Yu Zhang,   PhD Student
  • Daniel Luick,   PhD Student
  • Longfei Qiu,   PhD Student
  • Christian Altamirano Modesto,   PhD Student
  • Peixin You,   PhD Student
  • Justin Restivo,   PhD Student
  • Zhongye Wang,   PhD Student
    •

    Collaborators, Affiliated Researchers, and Alumni

  • Andrew Appel,   Princeton
  • Mahesh Balakrishnan,   Confluent
  • Lennart Beringer,   Princeton
  • Hongxu Cai,   Google
  • Quentin Carbonneaux,   Facebook
  • Hao Chen,   CertiK
  • Valerie_Chen,   CMU
  • Adam Chlipala,   MIT
  • David Costanzo,   Google
  • Bandan Das,   Red Hat
  • Xinyu Feng,   Nanjing University
  • Rodrigo Ferreira,   Brazil
  • Bryan Ford,   EPFL
  • Ming Fu,   USTC
  • Anitha Gollamudi,   UMass at Lowell
  • Liang Gu,   Sangfor, China
  • Ronghui Gu,   Columbia University
  • Yu Guo,   USTC
  • Nadeem Abdul Hamid,   Berry College
  • Jan Hoffmann,   CMU
  • Wolf Honore,   Amazon
  • Jieung Kim,   Yonsei University
  • Jung-Eun Kim,   North Carolina State University
  • Eric Koskinen,   Stevens Institute of Technology
  • Christopher League,   Long Island Univ.
  • Unsung Lee,   POSTECH
  • Jinjiang Lei,   JPMorgan Chase
  • Chen Liang,   HITSZ
  • Andrew McCreight,   Mozilla
  • Paul-Andre Mellies,   CNRS and Universite de Paris
  • Stefan Monnier,   University of Montreal
  • Zhaozhong Ni,   CertiK
  • Nikolaos Papaspyrou,   NTUA, Greece
  • Chanik_Park,   POSTECH, Korea
  • Benjamin Pierce,   University of Pennsylvania
  • Ruzica Piskac,   Yale
  • Hongjin Liang,   Nanjing University
  • Mengqi Liu,   Alibaba Research
  • Joshua Lockerman,   TimeScaleDB
  • Tahina Ramananandro,   Microsoft Research
  • Lionel Rieg,   Verimag & Ensimag/Grenoble-INP, France
  • Bratin Saha,   Amazon
  • Yuyang Sang,   Alibaba Research
  • Ji-Yong Shin,   Northeastern University
  • Vilhelm Sjöberg,   CertiK
  • Antonis Stampoulis,   Originate NYC
  • Haiyong Sun,   UESTC
  • Valery Trifonov,   Goldman Sachs
  • Hernán Vanzetto,   Brazil
  • Alexander Vaynberg,   Google
  • Yuting Wang,   Shanghai Jiaotong University
  • Stephanie Weirich,   University of Pennsylvania
  • Shu-Chun Weng,   Google
  • Pierre Wilke,   CentraleSupelec, France
  • Newman Wu,   Virtu Financial
  • Lin Yan,   Peking University
  • Zhenguo Yin,   SiFive
  • Man-Ki Yoon,   North Carolina State University
  • Dachuan Yu,   Orange Silicon Valley
  • Steve Zdancewic,   University of Pennsylvania
  • Zefeng Zeng,   HITSZ
  • Haozhong Zhang,   Intel
  • Zhencao Zhang,   HITSZ
  • Xiaorui Zhu,   HITSZ
    •

     
    Copyright © 1996-2025 The FLINT Group <flint at cs dot yale dot edu>
    Yale University Department of Computer Science
    		Validate this page
    colophon