Jack McKeownjackamckeown@gmail.com
Education
-
University of Minnesota, Duluth 2014 - 2018
- Bachelor of Science in Mathematics and Computer Science
-
University of Miami - advised by Dr. Geoff Sutcliffe2018 - 2024
- Master of Science in Computer Science - 2021
- Clause Representation for Proof Guidance Using Neural Networks
- Ph.D. in Computer Science - 2024
- Reinforcement Learning for Automated Theorem Proving
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
- Probability & Statistics
- Machine Learning
(Supervised,
Unsupervised/Self-supervised,
and Reinforcement Learning)
- Neural Networks
(MLPs, CNNs, GNNs,
Transformers, Diffusion, etc.)
- Automated Reasoning /
Automated Theorem Proving
Work Experience
- Software Developer Intern ImageTrend : 2015
- Teaching Assistant University of Miami : 2018 - 2023
- CSC220 - Computer Programming II
- CSC317 - Data Structures and Algorithm Analysis
- CSC419 - Programming Languages
- CSC322 - C and Unix Programming
- System Administrator University of Miami : 2022 - 2023
- Managed and maintained linux servers and lab machines:
created user accounts, installed software, and configured networking
- Research Assistant University of Miami : 2024
- Migrated StarExec cluster into AWS using Kubernetes
- IDV -
Interactive Derivation Viewer - A JavaScript/HTML/CSS port of StarExec (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).
- TableauxVisualization - A visualization of the
ALC Tableaux Algorithm I made for a Semantic Web class at the University of Miami.
- 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.