Current Projects (2025) Formalization and “finite algebra” by Dr. George McNinch. Analysis on Fractals by Dr. Kasso Okoudjou Artifacts in Limited Data Tomography by Dr. Todd Quinto.