Blogs / Personal blogs

megacz.com

megacz.com

I recently completed my PhD in Computer Science at UC Berkeley . My research focused on multi-level languages and generalized arrows ; this involves category theory , type theory, proof assistants , and compilers .

Popular posts
1
Total points
134
HN comments
94
Rank
#17,315 personal

Visit megacz.com → On Hacker News Dec 2015 – Dec 2015

Security & Privacy 1Hardware & Electronics 1