update about

Author: Michael Lilley

config.yaml

@@ -20,11 +20,14 @@ params:
 
       -
 
-      - Prior to this, I was employed as the lead machine vision engineer at [USS Vision, Inc.](https://www.ussvision.com/), in Livonia, Michigan, where I
+      - Prior to this, I was employed as the lead machine vision engineer at [USS Vision, Inc.](https://www.ussvision.com/) in Livonia, Michigan, where I
         led the design and implementation of software for bespoke real-time computer vision inspection systems for use in manufacturing plants. 
         Furthermore, I previously partook in research with the [Affective Computing and Multimodal Systems Lab](https://umdearborn.edu/cecs/departments/computer-and-information-science/laboratories)
         at the University of Michigan - Dearborn. I am also a graduate of this university with two undergraduate degrees in mathematics and computer science.
-        Presently, I am most interested in topics surrounding neuro-symbolic systems, automated theorem proving, formal methods, and computer algebra systems.
+
+      -
+
+      - Presently, I am most interested in topics surrounding neuro-symbolic systems, automated theorem proving for mathematics, autoformalization, general formal methods, and computer algebra systems.
 
       -