Primarily interested in compilers, denotational semantics, formal methods, and reverse engineering.

Activity

This user does not have any activity yet.