About me
Hi, my name is Ion. I am currently undergoing a Master’s in Computer Science at NOVA School of Science and Technology. I am very fond of almost every aspect this area has to offer, apart for web development 🙂.
I am currently working on my master thesis, aimed at formally proving a graph library. Hopefully, the posts I make in this website might shed some light into what this really means.