whoami

    #include <stdio.h>
    #include <stdlib.h>

    typedef struct { const char *name; const char *focus; } Profile;
    struct love { int beats; };

    int main(void) {
        const Profile p = {
            .name  = "Sergio Bonatto",
            .focus = "programming languages, type systems, and low-level systems",
        };

        struct love *heart = malloc(sizeof *heart);
        heart = NULL;

        printf("%s\nSoftware engineer focused on %s.\n", p.name, p.focus);
        return EXIT_SUCCESS;
    }

Work spans formal methods, functional programming, and operating systems. Main interests include dependent type theory, proof languages, language interpreters, virtual machines, and minimalist kernels. Experience ranges from low-level C and RISC-V systems work to high-level functional abstractions in Haskell. Projects often emphasize correctness, explicit semantics, and simple but rigorous implementations.

© [Bonatto]Vim powered