Jonathan Lam

(Recently) Software Engineer @ Google Silicon
(Also recently) EE/CS @ The Cooper Union


Blog

First thoughts on program analysis

On 9/6/2021, 7:28:00 PM

Return to blog


Update 12/20/21: I'm not really sure what I was going to say here. At this point I've just finished the independent study on program analysis. A brief summary can be found here.

I am interested in using Agda, which we covered in the Program Analysis class, to re-prove some material from math classes. If I get around to it, I'll write about it.


© Copyright 2023 Jonathan Lam