Relevant Experience

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
Jan 2025 - Present
Research Assistant
- Migrated StarExec cluster into AWS using Kubernetes
- Helped migrate the Interactive Derivation Viewer away from using Flask into being a single standalone HTML file
University of Miami
2023 - 2025
System Administrator
- Managed and maintained linux servers and lab machines:
  created user accounts, installed software, and configured networking
University of Miami
2022 - 2023
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
Software Developer Intern
ImageTrend
Summer 2015

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++
- 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
- 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

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++ extensions for Python.
whoIsHome - A user-friendly network monitoring tool built using the rich Python library.