Physicist and programmer.

I love logic programming, formal methods, category theory, music, linguistics and sleeping.

Fluent in Portuguese and English. ~N3 in Japanese. ~low A2 in toki pona and Esperanto. Beginner in German and Mandarin.