Hello! I'm Michalis, I am a PhD student in Electrical and Electronic Engineering in Imperial College London, in the Circuits and Systems Group. My research revolves around the application of formal methods in hardware design, looking for ways to increase the reliability of EDA tooling. My research interests include theorem provers, hardware verification and fuzzing.
