Besides my research interests in mathematical logic, software engineering, and security, I am also interested in the following topics:
       Profile: Google Scholar (most-cited first), DBLP, Researchgate, LinkedIn, DeepAI, ORCID, Semantic Scholar, Math Genealogy, Simons Institute @ Berkeley, arXiv

Academic Genealogy

        My academic genealogy starting with my advisor David L. Dill (Stanford University) Pictures
        Picture 1: In Boston, Massachusetts, USA (2011)         Picture 2: Silhoutte against the blue sky, Stanford Hills, Stanford, California, USA (2002)