Giuseppe Perelli
Assistant Professor
Re my name : Family and friends call me Najib . As an Indonesian, where most people lack family names , both of my names are given. Feel free to use either.
I’m an Assistant Professor (or Lecturer in the traditional UK system ) in the School of Mathematical and Computer Sciences and a member of LAIV: Lab for AI Verification at Heriot-Watt University in Edinburgh. Additionally, I am an Associate Member of the Department of Computer Science, University of Oxford . Prior to joining Heriot-Watt, I worked as a postdoctoral researcher with Anthony Lin at TU Kaiserslautern in Germany. I hold a DPhil/PhD from the University of Oxford (supervised by Julian Gutierrez and
Giuseppe Perelli