~/cv.pdf

Full academic and professional record — Generated from YAML source.

Tyler T. Procko, Ph.D.
Ontology-Based AI Engineer — LLM Agents  ·  NLP  ·  BFO/CCO  ·  Knowledge Graphs  ·  Cybersecurity  ·  Test-Driven Development
Florida, USA · Remote  |  1-904-557-8383
prockotyler@gmail.com  |  prockot@my.erau.edu
LinkedIn  |  GitHub  |  procko.pro  |  Google Scholar  |  ORCID
Last updated May 5, 2026 – View live version
ERAU

Summary

Ph.D researcher, Air Force Research Laboratory (AFRL) award winner, and AI engineer specializing in ontology-grounded LLM systems and agentic software development. 9+ years building knowledge graphs, BFO/CCO-compliant ontologies, and ML pipelines for defense and aerospace. Designing LLM agents that reason over structured knowledge — RAG, provenance tracking, and explainability backed by formal ontologies. Active contributor to AFRL, IEEE, and DoD FAIR AI standardization.

Education

Doctorate of Philosophy in Computer Science and Electrical Engineering
Embry-Riddle Aeronautical University (ERAU), Daytona Beach, FL  |  GPA: 4.0/4.0
• Advisor: Dr. Omar Ochoa
Aug 2020 – May 2025
Master of Science in Software Engineering
Embry-Riddle Aeronautical University (ERAU), Daytona Beach, FL  |  GPA: 4.0/4.0
• Advisor: Dr. Omar Ochoa
Aug 2023 – Dec 2023
Bachelor of Science in Software Engineering
Embry-Riddle Aeronautical University (ERAU), Daytona Beach, FL  |  GPA: 3.93/4.0
• Summa Cum Laude
• Minor in Cybersecurity Engineering
Aug 2016 – May 2020
Associate in Arts in Arts
Florida State College at Jacksonville (FSCJ), Jacksonville, FL  |  GPA: 4.0/4.0
• With high honors
Jun 2014 – May 2016
High School Diploma
Trinity Christian Academy (TCA), Jacksonville, FL  |  GPA: 3.0/3.0
• Salutatorian
Aug 2010 – May 2016

Work Experience

Defense and AI Industry Experience

Principal Knowledge Architect – Stealth Startup » Remote
•Leading ontology design, NLP model selection, embedding/vector use, and LLM integration (Claude, GPT, Gemini, Ollama, Bedrock) for a stealth-stage cybersecurity product.
•Built a sub-500ms engine that translates natural language to structured queries using async multi-provider LLM retry logic (Ollama, Claude, GPT).
•Engineered an adapter-driven pipeline mapping heterogeneous vocabularies into a coherent ontology for reasoning and lookup.
•Built a provider-agnostic LLM evaluation testbed with configurable tasks, weighted scoring (latency, cost, size, accuracy), and stakeholder-ready HTML reports with interactive charts.
Nov 2025 – Present
Independent AI Consultant – Handshake AI » Remote
•Contributed expert RLHF and evaluation work to improve LLM output quality for production-grade generative AI systems.
Nov 2025 – Present

Defense and AI Research Experience

SMART Scholar AI Research Scientist - ML Provenance – AFRL » Rome, NY
•Engineered ML provenance capture for real-time autonomous systems pipelines, modeling data lineage with PROV-O/PROV-ML ontologies and annotating imagery in CVAT to support AI model training.
May 2024 – Aug 2024
SMART Scholar AI Research Scientist - Computer Vision Schema in JSON-LD – AFRL » Rome, NY
•Designed a JSON-LD proto-ontology for capturing computer vision task provenance, synthesizing military documentation into a structured, interoperable schema.
May 2023 – Aug 2023
SMART Scholar AI Research Scientist - Machine Learning Interoperability with BFO – AFRL » Rome, NY
•Aligned a defense ML ontology to BFO/CCO compliance, mapping disparate ad-hoc terms into a formally grounded, interoperable knowledge representation.
•Delivered competency-question-ready ontology enabling subject matter experts to query ML and defense operational concepts in GraphDB.
May 2022 – Aug 2022
SMART Scholar Remote AI Research Scientist - Geospatial Relationship Inferencing – AFRL » Remote
•Derived novel geospatial relationships by linking SUMO ontology objects with ADE20K scene annotations and WKT geometries, enabling spatial inferencing over computer vision data.
May 2021 – Aug 2021
AFRL Scholars Remote AI Research Scientist - ML Explainability – AFRL » Remote
•Generated semantic explanations for ML model outputs using DL-Learner and background ontological knowledge, advancing XAI interpretability for defense AI systems.
May 2020 – Aug 2020
AFRL Scholars AI Research Scientist - ML-Boosted Knowledge Graphs – AFRL » Rome, NY
•Boosted semantic knowledge graphs with ML-derived topic models and built a foundational ontology quality assessment framework, delivering actionable data products for Air Force analysts.
May 2019 – Aug 2019

Applied R&D and Consulting Experience

Academic Consultant and Editor – Cloudcell Limited » Remote
•Consulted on and edited a machine learning academic paper through publication, providing technical guidance and editorial refinement.
May 2025 – May 2025
Reasoning Consultant – Upwork » Remote
•Delivered expert consultation on first-order and higher-order logic ontology reasoning, advising on formal knowledge representation strategies.
Sep 2024 – Sep 2024
Ontology Engineer – Upwork » Remote
•Engineered a mid-level domain ontology and produced stakeholder documentation covering OWL reasoning and description logics.
Jul 2024 – Jul 2024
Nuclear Construction Ontology Engineer – Upwork » Remote
•Designed and delivered an ontology for nuclear facility construction process evaluation, modeling complex domain knowledge for process compliance assessment.
Jun 2024 – Jun 2024
AI Consultant and Ontology Engineer – Quiet Professionals » Remote
•Advised on LLM deployment for DoD use cases and engineered a BFO/CCO-compliant ontology to standardize defense data across enterprise systems.
Feb 2024 – Apr 2024
Ontologist and Linked Data Engineer – Hooray Media » Remote
•Built a Linked Data taxonomy and ontology integrated into a WordPress content publishing ecosystem, enabling structured semantic categorization of web content.
Nov 2023 – May 2024
Ontologist and Knowledge Graph Engineer – The Link » Remote
•Engineered a knowledge graph extraction pipeline from construction documents, designing a supporting domain ontology and producing a graph with 10,000+ nodes and hundreds of thousands of edges.
Aug 2023 – Jan 2024
Legal Ontology Consultant – Upwork » Remote
•Advised on the architecture and development of a legal domain ontology in OWL, guiding formal knowledge modeling for legal concept representation.
May 2023 – May 2023
Software Test Engineer – Upwork » Remote
•Evaluated and delivered structured feedback on a startup scientific research platform, identifying UX and functional issues ahead of launch.
May 2023 – May 2023
Geospatial Ontology Analyst – Upwork » Remote
•Executed complex SPARQL/GeoSPARQL queries against a large geospatial ontology, diagnosed and resolved OWL/SWRL reasoning issues, and produced knowledge graph visualizations in GraphDB and Stardog.
Apr 2023 – May 2023
Knowledge Graph Engineer – Upwork » Remote
•Modeled a software development lifecycle use case as a knowledge graph in GraphDB, applying PROV-O and SEON ontologies for process provenance representation.
Mar 2023 – Mar 2023
Technology Consultant and Scientific Writer – ForumAPI » Remote
•Leveraged the GPT API to automate software documentation generation and advise a startup on AI-assisted technical writing workflows.
•Co-authored and published a peer-reviewed paper on software engineering, AI, and knowledge representation.
Feb 2023 – Present
Ontologist – WordLift SEO » Remote
•Modeled a client domain in OWL, SWRL, and SHACL using Schema.org and GS1 standards, delivering a formal knowledge representation for an international SEO platform.
Jan 2023 – Mar 2023

Graduate Positions

University Course Engineer - The Knowledge Representation Spectrum – ERAU » Daytona Beach, FL
•Designed a graduate-level course extending relational databases into the knowledge representation spectrum — covering applied ontology, Linked Data, and contemporary NLP techniques.
Feb 2023 – May 2023
AI Research Team Lead and Semantic Web Consultant – ERAU » Daytona Beach, FL
•Led and contributed to research across ML, NLP, Linked Data, and cybersecurity, co-authoring numerous peer-reviewed publications centered on Semantic Web technologies.
•Served as Semantic Web consultant for fellow researchers, providing technical guidance on knowledge representation and supporting paper review and revision.
Jan 2019 – Present

Undergrad and Prior

Grader for CS344 - C Programming and UNIX – ERAU » Daytona Beach, FL
•Assessed content included Linux commands and intermediate C programming topics, such as structures, complex pointer manipulation and memory management
Jan 2019 – May 2019
Grader for CS315 - Data Structures and Algorithms – ERAU » Daytona Beach, FL
•Evaluated implementation of linked lists, queues, stacks, trees, heaps, maps, graphs, recursion, sorting and searching algorithms
Aug 2018 – Dec 2018
Customer Service Clerk – Publix Supermarkets » Fernandina Beach, FL
•Delivered customer service and managed merchandise stocking in a high-volume retail environment.
Aug 2014 – Aug 2016

Publications – Google Scholar

Awaiting Publication

[1] Prompt Provenance: Toward Traceable LLM Interactions
Tyler T. Procko. The 2nd International Conference on Advanced Machine Learning and Data Science (AMLDS 2026)
2026
[2] A Survey of Machine Learning Lifecycle Provenance: Models, Approaches and Tools
Tyler T. Procko. 2026 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)
2026

Published

[3] Embedding Provenance in Computer Vision Datasets with JSON-LD
Lynn Vonderhaar, Timothy Elvira, Tyler T. Procko, Omar Ochoa. arXiv
Mar 2026
[4] Verifying Machine Learning Interpretability and Explainability Requirements Through Provenance
Lynn Vonderhaar, Tyler T. Procko. MDPI Software
Feb 2026
[5] Context Dropout: A Novel Method to Reduce Contextual Reliance in Object Detection
Lynn Vonderhaar, Timothy Elvira, Tyler T. Procko, Alexandra Newcomb, Omar Ochoa. 2025 IEEE International Conference on Future Machine Learning and Data Science (FMLDS)
Nov 2025
[6] On the Provenance of Software Systems: Automating Software Traceability with Knowledge Graph and Large Language Model Synergy
Tyler T. Procko. Embry-Riddle Aeronautical University Scholarly Commons
May 2025
[7] Creating Robust Data Sets for AI by Leveraging Ontological Structures
Lynn Vonderhaar, Tyler T. Procko. ICSC 2025
Feb 2025
[8] Exploring Testing Methods for Large Language Models
Timothy R. Elvira, Tyler T. Procko. ICMLA 2024
Dec 2024
[9] Requirements Elicitation for Machine Learning Applications: A Research Preview
Timothy R. Elvira, Tyler T. Procko. TransAI AIxSET 2024
Dec 2024
[10] Leveraging Large Language Models on the Traditional Scientific Writing Workflow
Tyler T. Procko. TransAI AIxSET 2024
Dec 2024
[11] Graph Retrieval-Augmented Generation for Large Language Models: A Survey
Tyler T. Procko. TransAI AIxSET 2024
Dec 2024
[12] The Role, Needs, and State of Cognitive Assistants in Single Pilot Operations
Alexandra Davidoff, Tyler T. Procko. AIAA - Journal of Aerospace Information Systems
Oct 2024
[13] Leveraging Linked Data for Knowledge Management: A Proposal for the Aerospace Industry
Tyler T. Procko. AIAA - Journal of Aerospace Information Systems
Jul 2024
[14] Towards Robust Training Datasets for Machine Learning with Ontologies: A Case Study for Emergency Road Vehicle Detection
Lynn Vonderhaar, Tyler T. Procko. arXiv
Jun 2024
[15] Mapping the W3C Provenance Ontology (PROV-O) to the Basic Formal Ontology (BFO): Epistemological Considerations and Preliminary Implementation
Tyler T. Procko. SSRN
May 2024
[16] Semantic Science: Publication Beyond the PDF
Tyler T. Procko. IEEE SoutheastCon
Mar 2024
[17] Dawn of the Dialogue: AI's Leap from Lab to Living Room
Tyler T. Procko. Frontiers in Artificial Intelligence
Mar 2024
[18] A Survey on the Intersection of Language Models and Knowledge Graphs
Timothy R. Elvira, Tyler T. Procko. SSRN
Jan 2024
[19] Towards Agile Academia: An Approach to Scientific Paper Writing Inspired by Software Engineering
Tyler T. Procko. Embry-Riddle Aeronautical University Scholarly Commons
Jan 2024
[20] A Survey on the Intersection of Research in the Use of Language Models and Knowledge Graphs
Timothy Elvira, Juan Ortiz Couder, Tyler Procko, Omar Ochoa. SSRN Electronic Journal
Jan 2024
[21] Scrum in the Classroom: An Implementation Guide
Sarah Reynolds, Tyler T. Procko. 2023 IEEE Frontiers in Education (FIE) Conference
Oct 2023
[22] Leveraging Signal Strength as a Mechanism to Secure GPS Messages
Juan Couder, Tyler T. Procko. 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC)
Oct 2023
[23] Automatic Code Documentation with Syntax Trees and GPT: Alleviating Software Development’s Most Redundant Task
Tyler T. Procko. SSRN
Sep 2023
[24] GPT-4: A Stochastic Parrot or Ontological Craftsman? Discovering Implicit Knowledge Structures in Large Language Models
Tyler T. Procko. 2023 Fifth International Conference on Transdisciplinary AI (TransAI)
Sep 2023
[25] Automatic Generation of BFO-Compliant Aristotelian Definitions in OWL Ontologies with GPT
Tyler T. Procko. 2023 Fifth International Conference on Transdisciplinary AI (TransAI)
Sep 2023
[26] Impacts of Catastrophic Forgetting: From a Machine Learning Engineering Perspective
Timothy R. Elvira, Tyler T. Procko. 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE)
Jul 2023
[27] Digital Rubber Duck: Leveraging Large Language Models for Extreme Programming
Timothy R. Elvira, Tyler T. Procko. 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE)
Jul 2023
[28] A Semi-Automated Process for Extracting a Taxonomized Knowledge Graph from the Software Engineering Body of Knowledge with a Sequence-to-Sequence Transformer
Tyler T. Procko. SSRN
Jun 2023
[29] Microelectronic Technology, AI and Academic Dishonesty: An Agile Engineering Approach
Tyler T. Procko. American Society for Engineering Education (TELPhE) 2023
Jun 2023
[30] The Influence of Interpersonal Chemistry on Learning in Agile Software Engineering Education
Tyler T. Procko. SSRN
Feb 2023
[31] Validating Security Requirement Specifications through the use of a Knowledge Graph
Sarah Reynolds, Tyler T. Procko. 2023 IEEE 18th International Conference on Semantic Computing (ICSC)
Feb 2023
[32] Towards Improved Scientific Knowledge Proliferation: Leveraging Large Language Models on the Traditional Scientific Writing Workflow
Tyler Procko, Alexandra Davidoff, Timothy Elvira, Omar Ochoa. SSRN Electronic Journal
Jan 2023
[33] An Ontology Based Approach to the Software Engineering Lifecycle: Application to Software Quality Assurance in the Aerospace Industry
Tyler T. Procko. SSRN
Dec 2022
[34] An Exploration of Explainable Machine Learning Using Semantic Web Technology
Tyler T. Procko. 2022 IEEE 16th International Conference on Semantic Computing (ICSC)
Jan 2022
[35] Supporting Security Requirements Engineering through the Development of the Secure Development Ontology
Jessica Steinmann, Tyler T. Procko. 2022 IEEE 16th International Conference on Semantic Computing (ICSC 2022), primary author Jessica Steinmann
Jan 2022
[36] Incorporating a Virtual Reality Environment in the Teaching of Analysis of Software Requirements
Omar Ochoa, Tyler T. Procko. 2019 IEEE Frontiers in Education Conference (FIE 2019)
Oct 2019
[37] Eliminating Security Weaknesses in Requirement Specifications via a Knowledge Graph
Lynn Vonder Haar, Tyler T. Procko
N/A
[38] Extracting a Body of Knowledge as a First Step Towards Defining a United Software Engineering Curriculum Guideline
Anton Kiselev, Tyler T. Procko
N/A
[39] Expanding the Capabilities of the NAS through AI: A White Box for the Airspace Ecosystem
Tyler T. Procko
N/A
[40] Expanding the Nation’s STEM Talent Pool by Accelerating Graduate Degree Completion in Computer, Software, and Cybersecurity Engineering
Omar Ochoa, Tyler T. Procko
N/A
[41] Synthetic Ontologies: A Hypothesis
Alexander Bikeyev, Tyler T. Procko
N/A

Projects – GitHub

Quizzical  GitHub · Live
• Terminal quiz game for cert exam prep. Beat mode, combo scoring, burning fuse timer. Security+ deck included.
Apr 2026
AI Config  GitHub
• Agent config for ontology-driven LLM development. One source, minimal surface, secure by default.
Apr 2026
AI Landscape Digest  GitHub · Live
• Automated AI release digest — aggregates 10+ feeds, deduplicates, and summarizes on login or on a 6-hour cloud cron via GitHub Actions. Works with Ollama, Claude, Codex, or Gemini.
Mar 2026
Biomedical Paper Information Extractor  GitHub · Live
• End-to-end biomedical paper analysis: VLM figure digitization + NER. Evaluated against HuggingFace VLMs, Ollama, and cloud providers; SotA NER models including GLiNER, DistilBERT, and spaCy.
Mar 2026
Health Optimization Knowledge Graph  GitHub · Live
• BFO-aligned, evidence-graded knowledge graph for health optimization interventions. LinkML schema with OWL/RDF and TypeScript targets; MeSH-grounded for RxNorm, SNOMED CT, and GO compatibility. React/Cytoscape.js UI.
Mar 2026
dissenter  GitHub · Live
• A PyPI package implementing a multi-LLM ensemble debate framework. Routes prompts across Claude, GPT, Gemini, Ollama, and any LiteLLM-compatible provider; surfaces disagreements across models and synthesizes a consensus answer.
Mar 2026
OCSF Visualizer  GitHub · Live
• Simple, browser-based, Cytoscape.js interactive graph view of the Open Cybersecurity Framework.
Feb 2026
BFO-Wikidata Classifier  GitHub
• A transformer-based, multi-strategy, hierarchical classification system that maps Wikidata entities to Basic Formal Ontology (BFO) classes via cascading and ensembling NLP/ML techniques.
Nov 2025
BERT Model Benchmarking Suite  GitHub
• A comprehensive benchmarking framework for comparing BERT model variants on inference speed, memory efficiency, and model size. Designed for compute-constrained environments and on-premise deployments.
Nov 2025
BFO-BERT Classifier  GitHub
• A fine-tuning script for DistilBERT that classifies ontology terms as Continuant or Occurrent per Basic Formal Ontology (BFO). Simple, reproducible proof of concept for text-based ontological classification.
Nov 2025
procko.pro  GitHub · Live
• Terminal-themed portfolio and knowledge graph explorer — React/TypeScript/Vite, driven by a single YAML source file.
Nov 2024
ProvTracer  GitHub
• Desktop application for capturing, modeling, and querying AI/ML output provenance using PROV-O and SPARQL; automated capture via multimodal LLM. Built for dissertation research on reproducibility auditing and lineage tracing in defense AI pipelines.
May 2024
Web Post Ontology  GitHub
• BFO-inspired content taxonomy ontology (OWL/TTL) for Hooray Media — GPT post classifier, PyLODE docs, versioned Turtle output.
Apr 2024
Linked Data Consultant and Scientific Writer
Dec 2023
FAA Data Challenge 2023  GitHub
• 2023 FAA Data Challenge — ERAU team entry under Dr. Ochoa; aviation safety data analysis with ML.
May 2023
Stable Diffusion and Low-Rank Adaptation Testing  GitHub
• An end-to-end guide and investigation into Stable Diffusion tooling — SD WebUI, models, LoRAs, and VAEs — for generating synthetic training data for military computer vision models.
Apr 2023
SWEBOK Knowledge Graph via REBEL  GitHub
• Semi-automated SWEBOK knowledge graph extraction using REBEL seq2seq transformer and spaCy — RDF/OWL output.
Mar 2023
An Investigation into Computational Efficiency Optimization of Natural Language Processing Vectorization Techniques on Large Corpora in Python  GitHub
• Optimization of computational performance in scientific Python — NumPy, Numba, Numexpr, Cython, and MPI — applied to NLP vectorization (TF-IDF, Naive Bayes) and Mandelbrot set calculation.
Dec 2022
RDF Prefix Adder  GitHub
• CLI utility to inject a base prefix into Turtle RDF files — workaround for GraphDB namespace resolution.
Aug 2022
BFO Buddy  GitHub
• A simple command-line Python tool for bootstrapping ontology development with BFO.
Jul 2022
USA Obesity Rates Visualization and Analysis  GitHub
• Pandas and Tableau visualizations on US Census obesity data — analysis by region, age group, and food quality — plus a statistical analysis of World's Strongest Man competitors.
Dec 2021
Upper Martial Arts Ontology (UMAO)  GitHub
• An ontology representing the domain of martial arts — Schema.org as the base taxonomy, Bruce Lee's Jeet Kune Do as the lexicon.
Jul 2021
Volusia County Parcel Elevation Visualization with SQL and QGIS  GitHub
• QGIS visualization of sea-level elevation across all parcels in Volusia County, FL — derived from public shapefiles using GIS contour line calculations.
May 2021
BitTorrent Systems Engineering Management Plan
• Systems Engineering Management Plan for a BitTorrent-based distributed file sharing architecture — requirements, architecture diagrams, and project planning documents.
Dec 2020
Microsoft Word Usability Desiderata
• Usability analysis and redesign proposal for Microsoft Word — wireframes, heuristic evaluation, and UX recommendations via Mockingbird/Balsamiq.
May 2020
EcoCar
• ERAU EcoCar competition entry — Python/MATLAB modeling and full project documentation for a fuel-efficient vehicle design challenge.
May 2020
Meme Ontology and Clustering Analysis  GitHub
• Java crawler for knowyourmeme.com that derives a meme taxonomy (MEMO ontology), populates it with 10,000+ entries, and performs cluster analysis to identify meme categories.
Feb 2020
Network Attached Storage (NAS) Server
• Custom-built Network Attached Storage server running XigmaNAS with RAID configuration for home lab use.
Jul 2019
Ludum Dare 44  Live
• Entry for Ludum Dare 44 game jam — "Your life is currency" theme.
May 2019
VxWorks C Water Heater Simulation  GitHub
• Real-time simulation of a water heater system in VxWorks C, using semaphores, mutexes, watchdogs, and multithreading.
May 2019
Encrypted Text Messages Transmitted Via Near-Field Sound
• Encodes and decodes encrypted text messages transmitted as near-field audio using the Chirp SDK — Python.
May 2019
ARocket  Live
• Android augmented-reality rocket launch simulation built in Unity/C# — point your phone at the sky.
Feb 2019
LAN Multiplayer Board Game  GitHub
• LAN-capable 2D board game (SOS) in Java — strict model-view separation, multithreading, and TCP socket connectivity with independently-developed student codebases via a shared serialized interface.
Dec 2018
Monster Hunter: World Player Support Project (MHW:PSP)  GitHub
• Java/MySQL application for Monster Hunter: World players — 22 tables, 1500+ game-accurate entries, JDBC integration, and a fully custom UI.
May 2018
EagleListings  GitHub
• Java/MySQL student marketplace for ERAU Daytona — JDBC database interface, custom UI, built as SCRUM master.
Dec 2017
Tiles  GitHub
• A fast-paced clicker game in Java.
May 2017
Text-Based Racing Game  GitHub
• A text-based console racing game in C supporting up to four players.
Dec 2016
Boe-Bot Line Follower Robot
• Arduino-programmed Boe-Bot line follower robot — sensors, motor control, and autonomous path tracking.
Dec 2016

Skills

Programming Languages: Python, Java, C, CSS, Markdown, HTML, JavaScript, TypeScript, Matlab, Bash, C#, Fortran, Rust, R, Racket, Assembly, Lisp, Julia
Data Languages: OWL, RDF, Turtle, RDFS, SPARQL, XML, TriG, YAML, JSON, CSV, JSON-LD, SQL, JSON Schema, SHACL, SWRL, RDFa, GeoSPARQL, LinkML, GIS, TSV
Libraries & Frameworks: OpenAI, Hugging Face, RDFLib, PyTorch, Transformers, scikit-learn, JavaFX, JDBC, NumPy, Matplotlib, spaCy, Cytoscape.js, PyYAML, Swing, Pandas, React, Anthropic SDK, Node.js, pdfplumber, Plotly
Development Tools: GitHub, Visual Studio Code, Protégé, GraphDB, GitHub CLI, Eclipse, Jira, Kanban, Stardog, Confluence, Neo4j, Arduino, MySQL, Git, Code::Blocks, PostGIS, PHPMyAdmin, QGIS, Docker, VxWorks
Office Tools: Microsoft Word, Microsoft PowerPoint, Microsoft Excel, LaTeX, Google Docs, Google Drive, Google Slides, Google Sheets, ProPresenter
Communication Tools: Zoom, Microsoft Teams, Discord, Slack, Session, Signal
AI Tools: GPT, Claude, Gemini, Codex, Ollama, Stable Diffusion, BERT, DistilBERT, SD WebUI, ADE20K, RoBERTa, ALBERT, Mixture of Agents, REBEL, YOLO, ImageNet, Anthropic, Grok, DALL-E, LoRA
Ontologies, Vocabularies & Standards: BFO, PROV-O, CCO, SKOS, Schema.org, UFO, GFO, SWEBOK, ANNETTO, DCTerms, OCSF, PROV-ML, OntoDM, MLSchema, SUMO, ANNO, FOAF, WordNet, IAO, DOLCE
Cloud & Deployment: GitHub Actions, GitHub Pages, AWS S3, AWS Bedrock
Design & Analysis Tools: Draw.io, Balsamiq, Mockingbird, Adobe Photoshop, Tableau, RStudio, Mermaid, Miro, Figma, vMix, Adobe Illustrator

Awards & Honors

Top 2% Downloaded Author – Social Science Research Network (SSRN)
Oct 2024
Outstanding Doctoral Student, Electrical Engineering and Computer Science – ERAU
Apr 2024
Science, Mathematics, and Research for Transformation (SMART) Scholarship – DoD / AFRL
Aug 2020 – Nov 2025
Diamond Eagle Scholarship – ERAU
Aug 2016

Talks & Podcasts

Powering AI with Ontology in Construction – Constructed Futures with Hugh Seaton (podcast)
Nov 2023

Certifications

Security+ – CompTIA [In Progress]
N/A
Semantic Web Technologies – Hasso Plattner Institute [In Progress]
N/A
Machine Learning – Upwork
Oct 2024
Machine Learning Specialization – Stanford DeepLearning.AI
Jan 2024
GPT-4: The New GPT Release – LinkedIn Learning
May 2023
May 2023
Mar 2023
Nov 2022
Essential Editing and Proofreading – Virtued Academy International (IAOTH)
Nov 2022

Extracurriculars

Scholarly Contributions

Manuscript reviews
•Reviewer (1 manuscript) - Concurrency and Computation: Practice and Experience, Wiley
•Reviewer (1 manuscript) - AI and Ethics, Springer Nature
•Reviewer (1 manuscript) - Discover Education, Springer Nature
•Reviewer (1 manuscript) - Discover Computing, Springer Nature
Mar 2026
Doctoral Dissertation Committee Member – Embry-Riddle Aeronautical University
•Serving on doctoral dissertation committee for Sarah Reynolds — "An Ontology-Driven Extraction and Analysis of Machine Learning Specifications from Research Literature" (Dept. of EECS, ERAU)
Mar 2026
Manuscript reviews
•Reviewer (1 manuscript) - Discover Artificial Intelligence, Springer Nature
•Reviewer (1 manuscript) - Computing, Springer Nature
•Reviewer (1 manuscript) - Discover Education, Springer Nature
•Reviewer (1 manuscript) - Archives of Dermatological Research, Springer Nature
•Reviewer (1 article) - Qeios
Jan 2026
Manuscript reviews
•Reviewer (2 manuscripts) - Discover Artificial Intelligence, Springer Nature
Dec 2025
Manuscript reviews
•Reviewer (1 manuscript) - Journal of Visualized Experiments (JoVE)
•Reviewer (2 manuscripts) - Discover Education, Springer Nature
•Reviewer (5 manuscripts) - Discover Artificial Intelligence, Springer Nature
•Reviewer (2 manuscripts) - Computing, Springer Nature
Nov 2025
Manuscript reviews
•Reviewer (1 manuscript) - Wireless Communications Magazine, IEEE
•Reviewer (2 manuscripts) - Discover Computing, Springer Nature
Jan 2025
Manuscript reviews
•Reviewer (1 manuscript) - Discover Artificial Intelligence, Springer Nature
Nov 2024
Manuscript reviews
•Reviewer (4 manuscripts) - 2024 IEEE ASEE Frontiers in Education (FIE)
Mar 2024
SWEBOK v4 Public Review Participant – IEEE Computer Society
Jan 2024
Manuscript reviews
•Reviewer (2 manuscripts) - 2023 IEEE ASEE Frontiers in Education (FIE)
Mar 2023
Contributor to Practical Natural Language Processing errata – Vajjala et al. (O'Reilly)
Nov 2022
Contributor to the Common Core Ontologies – Common Core Ontologies GitHub
•Provided clarification of term definitions and term spelling in the official Common Core Ontologies Github repository
Jul 2022

Organizations

IEEE Member (#98174383) – IEEE
Sep 2023
American Society for Engineering Education Member – American Society for Engineering Education
Dec 2021
White Hat Eagles Cybersecurity Club (WHECS) – ERAU Daytona
•Learned the principles of cybersecurity through weekly lectures taught from the CompTIA Security+ book
•Engaged in several hands-on activities dealing with hacking
Jan 2019 – Jan 2020
Embry-Riddle Artificial Intelligence Club – ERAU Daytona
•Worked with genetic algorithms in a variety of scenarios
Aug 2018 – Jan 2019

Service & Volunteer

Audio/Visual Technician – River Road Baptist Church, Hilliard, FL
•Ensured A/V quality for worship and sermon services using ProPresenter, vMix, StageMix and MonitorMix for an in-person audience of ~100 and a livestream audience of ~10
Nov 2023 – Sep 2025
Personal Computer Construction Consultant – Remote/In-Person
•Assisted personal contacts with computer construction and computer setup
•Resolved computer, network, software and peripheral issues
Jan 2014 – Present

Government Clearances

Current Clearance Status
I am cleared for Secret T3 but do not continually retain an explicit clearance.
Past Clearances
Confidential, cleared by DCSA, retained by USRA
May 2023 - Nov 2023
Confidential, cleared by DCSA, retained by USRA
May 2022 - Nov 2022
Secret, cleared by DCSA, retained by USRA
May 2019 - Nov 2019

References

Dr. Omar Ochoa
• Associate Professor and Program Coordinator for M.S. in Computer Science and M.S. in Software Engineering, Embry-Riddle Aeronautical University
Dr. Nicholas Del Rio
• Computer Scientist, Air Force Research Laboratory - Information Directorate
Dr. Massood Towhidnejad
• Chair and Professor of the Electrical Engineering and Computer Science Department, Embry-Riddle Aeronautical University