Author portrait

About me

Obsessed with semantics. I like the term semantics, because once you know a system invariants, you have done the hard part. The remainding part is just to build stuff and it is made by your imagination and your rigor.

Contact