Michalis Pardalos

Hi there! I'm Michalis. This is my personal website. I am a PhD student, working at the intersection of formal methods and hardware design.

Email me@mpardalos.com Github mpardalos Gitlab michalis_pardalos Instagram mpgrphoto

Media

Movies, shows, music, games. I do my best to hide spoilers. Like this

Kingdom Hearts Final Mix Game Sep 14, 2022
Everything everywhere all at once Movie Sep 12, 2022
Control Game Sep 11, 2022
The Discovery Movie Aug 28, 2022

Blog

Measuring memory usage of Haskell values — a dive into GHC Aug 4, 2020
Adding tracing to ghcide (GSoC project) external May 22, 2020
Customizable Datatypes Aug 23, 2019
On static sites Sep 1, 2018
Starting a blog Aug 21, 2018