#Introduction

Hi all! I'm currently a Computer Science Engineering student, but I'm interested in more theoretical topics (in fact I'm planning to go to Logic grad school next year).

My current interests are mostly from computer science and mathematical logic (listed in my bio).

I think I don't have a very strong mathematical background, so I still have much to learn.

I want to meet new people in this instance and learn interesting stuff 😀

Please feel free to talk me!