Hello, humans 👋

I'm Valdigleis, a {Peanuts, Asterix} fan, former software engineer. Currently, I'm a computer science teacher at DIMAp-UFRN, previously at CCICOMP of the Univasf - Brazil.

• ✏️ Java / HTML / CSS / PHP / Prolog / Coq / C / C++ / (La)TeX / OCaml / Java(Pure)Script / Python

• 📦 Ubuntu / Vim / Firefox / Kitty / Bash

• 🌱 Teaching (in 2025): DIM0116, DIM0117, and DIM0319.

• 🔭 Researching Non-classical Automata Theory