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.