I am interested in formal methods, programming languages, systems (especially distributed systems), and cryptography. My research so far has focused on building formally verified systems.
I graduated with an MEng degree in Computer Science from UCL in June 2019.
Summer 2017: I was a research intern with Ilya Sergey, working on blockchain consensus protocols.
© 2022 George Pîrlea ― last updated on 2022-02-04 at 05:38 UTC