A .Net 5 website running in a Docker container with links to my programming projects, published papers, resume and CV.
A growing ontology, that is, an organized categorization of reality into various types, starting from simple information about myself and branching out via logical entailments. Written in OWL/RDFS …
An ontology explicating relations between artists, albums, and bands, using the Beach Boys discography.
A Jupyter notebook using Python and SQL to analyze data from the Consumer Price Index (CPI) from January 1947 to June 2019.
Provides sample answers from exercises for the following mathematical logic textbooks: Melvin Fitting and Richard Mendelsohn's First-Order Modal Logic (1998); James Garson's Modal Logic for Philoso…
All of my completed and in-progress academic work in one place.