cyberglot.space
cyberglot.
space
welcome
Hello, my name is
April Gonçalves !
I am a Compiler Engineer and a Senior/Staff Software Engineer, with a growing passion for illustration. Lately, I’ve been focusing my time on Nix, Agda, org-mode, and the Typst language.
My research interests lie in programming languages, type theory, and formal methods — particularly in areas such as algebraic effects and handlers, dependent types, and meta-programming.
