Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
Author of the book 'Programs as diagrams: From categorical computability to computable categories'; published numerous papers such as 'Language processing in humans and computers', 'From Gödel’s Incompleteness Theorem to the completeness of bot religions', etc.
Research Experience
Worked at Kestrel Institute (1999-2009) and Oxford University (2008-2012); involved in multiple research projects related to computer science and mathematics.
Background
Research interests include security, networks, quantum computing, software, algebra, etc.
Miscellany
Maintains a website containing most of his papers and personal presentation slides; published a series of articles on language processing on Medium.