Interests

       Besides my research interests in mathematical logic, software engineering, and security, I am also interested in the following topics:
Links
Academic Genealogy
Pictures