Posts by Collection

Computational Search for 3-existential graphs

Exhaustive search algorithm in C and Google Cloud Platform for combinatorial graph properties.

Review Aggregate Critical Film Success Predictor

Predicting film success and award outcomes using Letterboxd review data and community detection algorithms.

Logic Research Group Wiki

A database of proofs and definitions in model theory for graduate students.

Levenshtein-distance Stock Typo Analysis

Analyzing market inefficiencies caused by retail trader typos using Levenshtein distance.

On the Model Theory of Stochastic Processes

Published in Journal of Mathematical Logic (Submitted), 2024

We explore the applications of model theory to stochastic processes in financial markets.

Recommended citation: Lockhart, C. (2024). "On the Model Theory of Stochastic Processes." Journal of Mathematical Logic.
Download Paper

Model Theory and Finance

Published in UMD Graduate Student Seminar, 2024

Presented research on the intersection of model theory and financial mathematics.

Calculus I (MATH140)

Undergraduate course, University of Maryland, Department of Mathematics, 2024

As a Graduate Teaching Assistant, I led discussion sections for Calculus I.