The FLINT Project

Research

People

Publications

Software

Support

Links

Internal

People

Last modified: Sun Sep 22 21:34:55 2019 GMT.

Current Members

  • Zhong Shao,   Professor
  • Jung-Eun Kim,   Associate Research Scientist
  • Yuting Wang,   Associate Research Scientist
  • Man-Ki Yoon,   Associate Research Scientist
  • Vilhelm Sjöberg,   Research Associate
  • Hao Chen,   PostDoc
  • Ji-Yong Shin,   PostDoc
  • Jieung Kim,   PostDoc
  • Jérémie Koenig,   PhD Student
  • Mengqi Liu,   PhD Student
  • Wolf Honore,   PhD Student
  • Lucas Paul,   PhD Student
  • Yuyang Sang,   PhD Student
  • Richard Habeeb,   PhD Student
  • Tong Cheng,   PhD Student
    •

    Collaborators, Affiliated Researchers, and Alumni

  • Andrew Appel,   Princeton
  • Mahesh Balakrishnan,   Facebook
  • Lennart Beringer,   Princeton
  • Hongxu Cai,   Google
  • Quentin Carbonneaux,   Facebook
  • Yiyun Chen,   USTC
  • Adam Chlipala,   MIT
  • David Costanzo,   Google
  • Bandan Das,   Red Hat
  • Xinyu Feng,   Nanjing University
  • Rodrigo Ferreira,   Brazil
  • Bryan Ford,   EPFL
  • Ming Fu,   USTC
  • Liang Gu,   Sangfor, China
  • Ronghui Gu,   Columbia University
  • Yu Guo,   USTC
  • Nadeem Abdul Hamid,   Berry College
  • Jan Hoffmann,   CMU
  • Eric Koskinen,   Yale
  • Christopher League,   Long Island Univ.
  • Unsung Lee,   POSTECH
  • Jinjiang Lei,   Peking University
  • Chen Liang,   HITSZ
  • Andrew McCreight,   Mozilla
  • Stefan Monnier,   University of Montreal
  • Zhaozhong Ni,   Google
  • Nikolaos Papaspyrou,   NTUA, Greece
  • Chanik_Park,   POSTECH, Korea
  • Benjamin Pierce,   University of Pennsylvania
  • Ruzica Piskac,   Yale
  • Hongjin Liang,   Nanjing University
  • Joshua Lockerman,   TimeScaleDB
  • Tahina Ramananandro,   Microsoft Research
  • Lionel Rieg,   Verimag & Ensimag/Grenoble-INP, France
  • Bratin Saha,   Nvidia
  • Antonis Stampoulis,   Originate NYC
  • Haiyong Sun,   UESTC
  • Valery Trifonov,   Goldman Sachs
  • Hernán Vanzetto,   Brazil
  • Alexander Vaynberg,   Google
  • Stephanie Weirich,   University of Pennsylvania
  • Shu-Chun Weng,   Google
  • Pierre Wilke,   CentraleSupelec, France
  • Newman Wu,   Virtu Financial
  • Lin Yan,   Peking University
  • Zhenguo Yin,   SiFive
  • Dachuan Yu,   Orange Silicon Valley
  • Steve Zdancewic,   University of Pennsylvania
  • Zefeng Zeng,   HITSZ
  • Haozhong Zhang,   Intel
  • Zhencao Zhang,   HITSZ
  • Xiaorui Zhu,   HITSZ
    •

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