Brains in the "trying to be a good dad despite having a bad dad" gang. ☦️|Father|Philosopher|Offensive Security|PLT
I work in offensive security at a decent sized firm, but my research interests are actually around Multics, ML dialects (including the two I’ve written, carML and coastML), and formal verification (esp Hoare Logic). Also anything gardening or hiking related
#magyar #balkanci #securityresearch #formalverification