Contact¶
The most reliable way to reach me is email.
Code¶
- GitHub
- Most of my current work. Also ualib/agda-algebras and IntersectMBO/formal-ledger-specifications.
- GitLab
- Older projects, and the previous version of this site.
Publications and profiles¶
- ORCID
- Persistent scholarly identifier.
- Google Scholar
- Citations and coauthors.
- arXiv
- Preprints, from 2012 to the present.
- DBLP
- The computer-science bibliography's record.
- Semantic Scholar
- Papers and citations, with the DBLP record merged in.
- Zenodo
- The archived software releases that name me as a creator. Zenodo has no author pages, so this is a search, and it finds three records.
- Wikidata
- The entity that ties the identifiers above together.
- Mathematics Genealogy Project
- Advisor and lineage.