James Gallicchio

gallicch.io

Carnegie Mellon Pittsburgh, PA PhD student studying PL/FM. I like building useful abstractions to make programming easier, and formal verification heavily guides that process for me :-)