John McKeownjackamckeown@gmail.com | (347)470-5225
Work Experience
- Postdoctoral Associate University of Miami Miller School of Medicine : Jan 2025 - Present
- Analyzed data from Traumatic Brain Injury (TBI) patients in order to develop:
- models for objective measurement of pain
- models for likelihood of recovery
- Research Assistant University of Miami : 2024
- Migrated StarExec cluster into AWS using Kubernetes
- System Administrator University of Miami : 2022 - 2023
- Managed and maintained linux servers and lab machines:
created user accounts, installed software, and configured networking
- Teaching Assistant University of Miami : 2018 - 2023
- CSC220 - Computer Programming II
- CSC317 - Data Structures and Algorithms
- CSC419 - Programming Languages
- CSC322 - C and Unix Programming
- Software Developer Intern ImageTrend : Summer 2015
Education
-
University of Miami - advised by Dr. Geoff SutcliffeAug 2018 - Dec 2024
- Master of Science in Computer Science - 2021
- Clause Representation for Proof Guidance Using Neural Networks
- Ph.D. in Computer Science - 2024
- Search Strategy Selection for Automated Theorem Proving
-
University of Minnesota, Duluth Aug 2014 - May 2018
- Bachelor of Science in Mathematics and Computer Science
Skills
- Languages
- Python
- C & C++
- Java
- JavaScript
- HTML & CSS
- LaTeX
- SQL
- JSON & YAML
-
Tools
- PyTorch & TensorFlow
- Numpy, SciPy, and Pandas
- scikit-learn
- Cython
- Matplotlib, D3.js
- FastAPI
- Shell & Linux
- Docker / Podman
- Kubernetes
- Git & 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.