Aug 06, 2025 Journal paper accepted at the Logical Methods in Computer Science Feb 01, 2025 Starting a Postdoctoral Research Fellow Position at Augusta University