- My name is Michael Lilley. This website is meant to serve as a digital CV as well as a place where I can write about subjects of interest to me. I am currently employed as a machine vision engineer at USS Vision, Inc. in Livonia, Michigan, where we design and build bespoke real-time machine vision inspection systems for manufacturing plants.
- Furthermore, I partake in research with the Affective Computing and Multimodal Systems Lab at the University of Michigan - Dearborn. I am also a graduate of this university with degrees in mathematics and computer science. Presently, I am most interested in topics surrounding neuro-symbolic AI, automated theorem proving, and computer algebra systems.
- To contact me, please send an email to michael.brandon.lilley@protonmail.com.
![](https://semantictree.io/tensor_cover.png)
A Primer on Tensors
In this post, we’ll be taking a brief look at tensors. These can be confusing objects to understand, but are central to many areas in mathematics, physics, and computer science.
![](https://semantictree.io/simplicial_homology_cover.png)
Simplicial Homology
We discuss the problem of hole-counting within topological spaces via triangulation with simplicial complexes.
![](https://semantictree.io/ideal_csp_cover.png)
Ideal Membership and Constraint Satisfaction Problems
We describe the application of the ideal membership problem (IMP) and Gröbner bases to the problem of deciding constraint satisfaction problems (CSPs).
![](https://semantictree.io/topic_modeling_cover.png)
Topic Modeling in Embedding Spaces
In this post, we will be going over the paper Topic Modeling in Embedding Spaces by Dieng et al., with an extended explanation of the background content.