Linpeng Zhang

Linpeng Zhang

PhD Student in Computer Science

University College London (UCL)

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 (summa cum laude) two years early.

Interests
  • Formal verification
  • Quantitative verification
  • Machine learning and verification
Education
  • PhD in Computer Science, 2020 - Suspended

    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
Lacework
Oct 2022 – Present London
Code Analysis Team.
 
 
 
 
 
Software Engineer Intern
Meta Platforms (formerly Facebook)
Jul 2022 – Sep 2022 London
Static Analysis Team, Infer.