Relevant Experience

Postdoctoral Researcher
- Building Vampire Guide, a browser-based environment for running the Vampire theorem prover with tutorials and course materials for TU Wien students
- Researching distributed theorem proving approaches for first-order logic
TU Wien
Institute of Logic and Computation
2025 - Present
Postdoctoral Associate
- Analyzed data from Traumatic Brain Injury (TBI)
  patients in order to develop:
  - models for objective measurement of pain
  - models for likelihood of recovery
- Analyzed EEG and galvanic skin response data using mixed effects models, SVMs, permutation tests, and other techniques, in Python
University of Miami
Miller School of Medicine
2025 - 2026
Research Assistant and System Administrator
- Migrated StarExec cluster into AWS using Kubernetes
- Helped migrate the Interactive Derivation Viewer away from using Flask into being a single standalone HTML file
- Managed Linux servers and lab machines, including user accounts, software installation, and networking configuration
University of Miami
2022 - 2024
Teaching Assistant
I tutored and graded for the courses Computer Programming II, Data Structures and Algorithms, Programming Languages, C and Unix Programming, and Logic and Automated Reasoning
University of Miami
2018 - 2023

Education

University of Miami - advised by Geoff Sutcliffe
- Ph.D. in Computer Science - 2024
  - Search Strategy Selection for Automated Theorem Proving
- Master of Science in Computer Science - 2021
  - Clause Representation for Proof Guidance Using Neural Networks
Aug 2018 - Dec 2024
University of Minnesota, Duluth
- Bachelor of Science in Mathematics and Computer Science
Aug 2014 - May 2018

Languages
- Python
- C and C\(\texttt{++}\)
- Java
- JavaScript
- HTML and CSS
- LaTeX
- SQL
- JSON and YAML

Tools
- PyTorch and TensorFlow
- Numpy, SciPy, and Pandas
- scikit-learn
- Cython
- Matplotlib, D3.js
- FastAPI
- Shell and Linux
- Docker / Podman
- Kubernetes, EKS, and Terraform
- Automated theorem provers
- Git and Github

General Strengths & Passions
- Neural Networks
  (MLPs, CNNs, GNNs,
  Transformers, Diffusion, etc.)
- Probability & Statistics
- Machine Learning
     (Supervised,
     Unsupervised/Self-supervised,
     and Reinforcement Learning)
- Automated Reasoning /
  Automated Theorem Proving

Vampire Guide - A browser-based environment and educational resource for running and learning the Vampire theorem prover.
IDV - Interactive Derivation Viewer - A JavaScript/HTML/CSS port of the Interactive Derivation Viewer (a proof visualization software) from its old form as a Java applet.
StarExec Miami - Maintained and added features to the Miami fork of StarExec (an online automated theorem proving testbed).
tree2Net - A small library to convert sklearn decision trees into equivalent pytorch neural network modules.
nnInitializations - An exploration of various weight initializations for neural networks.
PythonCExtensions - A minimal tutorial for creating C and C\(\texttt{++}\) extensions for Python.
whoIsHome - A user-friendly network monitoring tool built using the rich Python library.