Zhoulai Fu – Homepage

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

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

Hiring

Seeking Posdoc, PhD, and Graduate Students on Programming Languages and Software Security

News

  • Delighted to serve for the POPL2026 Program Committee. Stay tuned for updates on the program and consider submitting your best PL research.
  • Honored to receive generous research funding from the DARPA E-BOSS Program (Defense Advanced Research Projects Agency, U.S.) as the Principal Investigator on the SUNY Korea side.
  • Our POPL’25 paper is accepted: “On Extending Incorrectness Logic with Backwards Reasoning”.
  • Visiting Virginia Tech in 2024 summer
  • Delighted to serve for the FSE2024 Program Committee.
  • Hiring PhD students in Computer Science.
  • Delighted to serve for the PLDI 2023 Program Committee.
  • Honored to receive generous research funding from NRF (National Research Foundation of Korea), sole principal investigator.
  • Our PLDI’22 paper is accepted: “Formally Verified Lifting of C-compiled x86-64 Binaries“. Collaboration with Open University of The Netherlands, and Virginia Tech, United States.

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.