Hi there, welcome to my profile! I'm glad you're come to visit.
A bit about myself: I like helping people. It's a simple premise, I know. I like keeping things simple. I particularly enjoy helping with research in Machine Learning, Deep Learning and topics surrounding Proof Assistants.
Feel free to have a look around!