Active
user
8 months ago
by invitation from
amw-zero
0, averaging 0.00
per story/comment
0 0
I’m an embedded/systems software engineer interested in PL theory, formal methods, and security. I’m currently doing a Masters in the Georgia Tech OMSCS program.