I'm a Computer Science undergraduate at the Federal University of Sergipe, with interests in computability theory, programming paradigms and formal methods, but with genuine interest in electrical engineering, electronics and electromagnetism.
I'm currently interested in topics such as:
- Lambda Calculus
- Turing Machines
- Programming Paradigms
- Theory of Languages
- Program Verification with ROCQ / Coq
- Embedded Systems
- Digital and Analog Electronics
- High Voltage
- Applied and Computational Mathematics
My repositories generally fall into a few types of projects:
- Experiments related to computability theory
- Applied study repositories on programming languages and paradigms
- Digital circuit simulators
- Experiments with embedded systems using Arduino
Some projects are more serious experiments with academic goals, while others are just tests or projects made out of curiosity. Feel free to check out what I'm currently working on!