FMAL People

Leadership

Meng Jiang

Co-Director, FMAL and Associate Professor, Computer Science and Engineering

Meng Jiang

Xiangliang Zhang

Co-Director, FMAL and Leonard C. Bettex Collegiate Professor of Computer Science, Computer Science and Engineering

Xiangliang Zhang

Ting Hua

Assistant Research Professor, Lucy Family Institute for Data & Society

Ting Hua

Faculty Affiliates

Ruilan Guo

Frank M. Freimann Collegiate Professor of Engineering

Ruilan Guo

Siddharth Joshi

Assistant Professor, Computer Science and Engineering

Siddharth Joshi

Taeho Jung

Associate Professor, Computer Science and Engineering

Taeho Jung

Tengfei Luo

Dorini Family Professor for Energy Studies and Associate Department Chair

Tengfei Luo

Jason Rohr

Ludmilla F., Stephen J., and Robert T. Galla College Professor & Department Chair, Department of Biological Sciences

Jason Rohr

Olaf Wiest

Grace-Rupley Professor of Chemistry & Biochemistry

Olaf Wiest

Jiahong Wu

Professor, Department of Mathematics

Jiahong Wu

Zhiyong (Johnny) Zhang

Quantitative Area Director and Professor, Department of Psychology, Fellow at Institute for Educational Initiatives

Zhiyong (Johnny) Zhang

Advisees

Graduate Students

  • Taicheng Guo (advised by Zhang) 
    Research area: FM for reasoning and optimization
  • Kehan Guo (advised by Zhang) 
    Research area: FM for chemistry
  • Yue Huang (advised by Zhang) 
    Research area: Trustworthy FM
  • Eric Inae (advised by Jiang)
    Research area: FM for materials discovery
  • Mengzhao Jia (advised by Jiang)
    Research area: FM for scientific data analysis
  • Gang Liu (advised by Jiang)
    Reserach area: FM for materials discovery
  • Frank (Zheyuan) Liu (advised by Jiang)
    Research area: FM Safety
  • Yining Lu (advised by Jiang)
    Research area: FM trustworthiness
  • Bang Nguyen (advised by Jiang)
    Research area: FM for education
  • Xiangqi Wang (advised by Zhang) 
    Research area: FM Agent Systems
  • Tianyu Yang (advised by Zhang) 
    Research area: Multi-modal FM
  • Yujun Zhou (advised by Zhang) 
    Research area: Trustworthy FM
  • Yihan Zhu (advised by Jiang)
    Research area: FM for materials discovery
  • Haomin Zhuang (advised by Zhang) 
    Research area: FM for reasoning

Undergraduate Students

  • Vince Andriacco (advised by Jiang, iTREDS scholar)
    Research area: FM for code improvement
  • Zach Petko (advised by Jiang, iTREDS scholar)
    Research area: FM for code improvement
  • John Kim (advised by Jiang, iTREDS scholar)
    Research area: FM Safety
  • Katherine O’Roark (advised by Jiang, SMC, iTREDS scholar)
    Research area: FM Safety