Zhoulai Fu – Homepage

Zhoulai_Fu_imdea
Associate Professor (Tenured)
Department of Computer Science
State University of New York, Korea

Affiliated Research Faculty:
CS, Stony Brook University, USA
ECE, Virginia Tech, USA

News

  • [Ongoing] Actively hiring motivated PhD students in Computer Science to join my research group.
  • [2026] Our paper, “Scalable Floating-Point Satisfiability via Staged Optimization” (StageSat), has been accepted at PLDI 2026.
  • [2026] Delighted to serve on the Program Committees for POPL 2026 and ISSTA 2026. Consider submitting your best research!
  • [2025] Honored to receive the Best Paper Award at ICONIP 2025 for our work: “Revisiting 16-bit Neural Network Training: A Practical Approach for Resource-Limited Learning.”
  • [2025] Our paper, “On Extending Incorrectness Logic with Backwards Reasoning,” has been accepted at POPL 2025.
  • [2025] Served as a Research Associate Professor in the Electrical and Computer Engineering (ECE) Department at Virginia Tech (Spring 2025).
  • [2024] Honored to serve as the Principal Investigator (SUNY Korea) for the newly funded DARPA E-BOSS and MESA research programs.
  • [2024] Served as a Visiting Research Associate Professor in the Electrical and Computer Engineering (ECE) Department at Virginia Tech (Summer 2024).
  • [2024] Delighted to serve on the Program Committee for FSE 2024.
  • [2023] Honored to receive generous research funding from the National Research Foundation of Korea (NRF) as the sole principal investigator.
  • [2023] Delighted to serve on the Program Committee for PLDI 2023.
  • [2022] Our paper, “Formally Verified Lifting of C-compiled x86-64 Binaries,” has been accepted at PLDI 2022. (In collaboration with the Open University of the Netherlands and Virginia Tech).

Short Bio

I am a tenured Associate Professor at the State University of New York, Korea, and an affiliated faculty member in the Computer Science Department at Stony Brook University and the Electrical and Computer Engineering Department at Virginia Tech. My research focuses on the intersection of Programming Languages, Software Security, and Large Language Models.

Before this, I held positions at the IT University of Copenhagen in Denmark, the University of California, Davis in the United States, IMDEA in Spain, and INRIA in France, where I earned my PhD. I completed my Bachelor’s and Master’s education at École Polytechnique and Télécom Paris in France, earning the diplôme d’ingénieur (French engineering degree).

Education

  • Ph.D., 2009-2013, INRIA – Université de Rennes 1, France
  • M.Eng., 2008-2009, Télécom ParisTech, France
  • M.S, B.S, and French engineer degrees (Ingénieur), 2005-2008, École Polytechnique, France

(Below may not be updated after 2022 December)

Research Interests

Programming Language Theory and Implementation. Program Analysis, Testing and Verification. Software  Engineering. Machine Learning. Security. Scientific Computing. Abstract Interpretation.

Teaching

  • Foundations of Computer Science, Spring 2022, Fall 2022, BSc level, State University of New York, Korea
  •  Program as data, Autumn 2020, BSc level, IT University of Copenhagen, Denmark
  • Advanced software analysis,  Autumn 2019, Autumn 2020, Autumn 2021, MSc level, IT University of Copenhagen, Denmark
  • Advanced programming, Spring 2018, Autumn 2018, Autumn 2019, BSc and MSc levels, IT University of Copenhagen, Denmark
  • Software Foundation with the Coq Proof Assistant, Autumn 2016, PhD level, University of California Davis, the United States 

Paper references in zhoulaifu.com/publications.