Pinned post

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!

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!

- pronouns
- any (they/them prefered)

- languages
- ENG, ESP, GAL

I'm currently an undergraduate Computer Science Engineering student, but I'm interested in formal thinking and theoretical topics. In fact I'm planning to go to grad school in Logic next year.

My current interests are centered in theoretical computer science and mathematical logic. More specially: proof assistants, type theory, constructive logic and the formalization of mathematics.

Joined Dec 2021