Hello! My name is Michalis. I am a PhD student in Electrical and
Electronic Engineering in Imperial College London, in the Circuits and
Systems Group.
Publications
Michalis Pardalos, Yann Herklotz and John Wickerson, "Resource
Sharing for Verified High-Level Synthesis," 2022 IEEE 30th Annual
International Symposium on Field-Programmable Custom Computing Machines
(FCCM), New York City, NY, USA, 2022, pp. 1-6