Linpeng Zhang

Linpeng Zhang

Software Engineer

Lacework

Biography

I am a Software Engineer at Lacework. Before joining Lacework, I was a Software Engineer Intern at Meta, and before that, a PhD Student in Computer Science at University College London (UCL) under the supervision of Prof. Benjamin Kaminski and Prof. Alexandra Silvia. I was born in Italy, where I have obtained my MSc in Computer Science at University of Padua two years early.

Interests
  • Static Program Analysis
  • Quantitative Verification
  • Machine learning and Verification
Education
  • PhD in Computer Science, 2020 - 2024 (est.)

    University College London (UCL)

  • MSc in Computer Science, 2019 - 2020

    University of Padua

  • BSc in Computer Science, 2017 - 2019

    University of Padua

Professional Experience

 
 
 
 
 
Software Engineer
Oct 2022 – Present London
Code Analysis Team.
 
 
 
 
 
Software Engineer Intern
Jul 2022 – Sep 2022 London
Static Analysis Tools Team (akas Infer).