sai
wizard@types.pl
<p>undergrad at umd interested in types, formal verification, compilers, logic, category theory, and abstract algebra :)</p>
Posts
-
Post #3012159
i was able to go to NJPLS yesterday!!! i had so much fun and presented my in-progress research on developing a type system for automatic energy analysis for embedded systems that use stateful peripherals. i made (a pdf version of) my slides available here: https://thedeveloper101.github.io/talks/2026-05-22-njpls-2026