Tyler T. Procko, Ph.D.

(Primary author): Prompt Provenance: Toward Traceable LLM Interactions - The 2nd International Conference on Advanced Machine Learning and Data Science (AMLDS 2026)

(Primary author): A Survey of Machine Learning Lifecycle Provenance: Models, Approaches and Tools - 2026 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)

(Primary Author): On the Provenance of Software Systems: Automating Software Traceability with Knowledge Graph and Large Language Model Synergy - Embry-Riddle Aeronautical University Scholarly Commons

(Contributing Author): Embedding Provenance in Computer Vision Datasets with JSON-LD - arXiv

(Contributing Author): Context Dropout: A Novel Method to Reduce Contextual Reliance in Object Detection - 2025 IEEE International Conference on Future Machine Learning and Data Science (FMLDS)

(Tertiary author): Verifying Machine Learning Interpretability and Explainability Requirements Through Provenance - MDPI Software

(Secondary author): Creating Robust Data Sets for AI by Leveraging Ontological Structures - ICSC 2025

(Secondary author): Exploring Testing Methods for Large Language Models - ICMLA 2024

(Secondary author): Requirements Elicitation for Machine Learning Applications: A Research Preview - TransAI AIxSET 2024

(Primary Author): Leveraging Large Language Models on the Traditional Scientific Writing Workflow - TransAI AIxSET 2024

(Primary author): Graph Retrieval-Augmented Generation for Large Language Models: A Survey - TransAI AIxSET 2024

(Tertiary Author): The Role, Needs, and State of Cognitive Assistants in Single Pilot Operations - AIAA - Journal of Aerospace Information Systems

(Primary author): Leveraging Linked Data for Knowledge Management: A Proposal for the Aerospace Industry - AIAA - Journal of Aerospace Information Systems

(Tertiary author): Towards Robust Training Datasets for Machine Learning with Ontologies: A Case Study for Emergency Road Vehicle Detection - arXiv

(Primary author): Mapping the W3C Provenance Ontology (PROV-O) to the Basic Formal Ontology (BFO): Epistemological Considerations and Preliminary Implementation - SSRN

(Primary author): Semantic Science: Publication Beyond the PDF - IEEE SoutheastCon

(Primary author): Dawn of the Dialogue: AI's Leap from Lab to Living Room - Frontiers in Artificial Intelligence

(Tertiary author): A Survey on the Intersection of Language Models and Knowledge Graphs - SSRN

(Primary Author): Towards Agile Academia: An Approach to Scientific Paper Writing Inspired by Software Engineering - Embry-Riddle Aeronautical University Scholarly Commons

(Tertiary author): Scrum in the Classroom: An Implementation Guide - 2023 IEEE Frontiers in Education (FIE) Conference

(Tertiary author): Leveraging Signal Strength as a Mechanism to Secure GPS Messages - 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC)

(Primary Author): Automatic Code Documentation with Syntax Trees and GPT: Alleviating Software Development’s Most Redundant Task - SSRN

(Primary Author): GPT-4: A Stochastic Parrot or Ontological Craftsman? Discovering Implicit Knowledge Structures in Large Language Models - 2023 Fifth International Conference on Transdisciplinary AI (TransAI)

(Primary Author): Automatic Generation of BFO-Compliant Aristotelian Definitions in OWL Ontologies with GPT - 2023 Fifth International Conference on Transdisciplinary AI (TransAI)

(Tertiary author): Impacts of Catastrophic Forgetting: From a Machine Learning Engineering Perspective - 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE)

(Secondary author): Digital Rubber Duck: Leveraging Large Language Models for Extreme Programming - 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE)

(Primary Author): A Semi-Automated Process for Extracting a Taxonomized Knowledge Graph from the Software Engineering Body of Knowledge with a Sequence-to-Sequence Transformer - SSRN

(Primary author): Microelectronic Technology, AI and Academic Dishonesty: An Agile Engineering Approach - American Society for Engineering Education (TELPhE) 2023

(Primary author): The Influence of Interpersonal Chemistry on Learning in Agile Software Engineering Education - SSRN

(Tertiary author): Validating Security Requirement Specifications through the use of a Knowledge Graph - 2023 IEEE 18th International Conference on Semantic Computing (ICSC)

(Primary author): An Ontology Based Approach to the Software Engineering Lifecycle: Application to Software Quality Assurance in the Aerospace Industry - SSRN

(Primary Author): An Exploration of Explainable Machine Learning Using Semantic Web Technology - 2022 IEEE 16th International Conference on Semantic Computing (ICSC)

(Contributor in grammar, structure and spelling revision): Supporting Security Requirements Engineering through the Development of the Secure Development Ontology - 2022 IEEE 16th International Conference on Semantic Computing (ICSC 2022), primary author Jessica Steinmann

(Contributor): Incorporating a Virtual Reality Environment in the Teaching of Analysis of Software Requirements - 2019 IEEE Frontiers in Education Conference (FIE 2019)

(): Towards Improved Scientific Knowledge Proliferation: Leveraging Large Language Models on the Traditional Scientific Writing Workflow - SSRN Electronic Journal

(): A Survey on the Intersection of Research in the Use of Language Models and Knowledge Graphs - SSRN Electronic Journal

(Secondary Author): Towards A Taxonomy of ML Misbehaviors and their Software Engineering Solutions

(Primary author): Knowledge Graph Relationship Inferencing using ADE20k Images, Geospatial Bounding Boxes and the Suggested Upper Merged Ontology

(Primary author): The Software Development Life Cycle and Ontology Engineering: Defining a Structured Process for Ontology Development

(Tertiary author): Navigating the Future of Aviation: The Role, Needs, and State of Cognitive Assistants in Single Pilot Operations

(Contributor in technical elements): Eliminating Security Weaknesses in Requirement Specifications via a Knowledge Graph, primary author Lynn Vonder Haar, ERAU

(Contributor in technical elements): Extracting a Body of Knowledge as a First Step Towards Defining a United Software Engineering Curriculum Guideline, primary author Anton Kiselev, ERAU

(Secondary author): Expanding the Capabilities of the NAS through AI: A White Box for the Airspace Ecosystem

(Contributor in grammar, structure and spelling revision): Expanding the Nation’s STEM Talent Pool by Accelerating Graduate Degree Completion in Computer, Software, and Cybersecurity Engineering – NSF Award Number 2221602 amounting to $1,499,354 over the period 10/01/2022 – 09/30/2027, principal investigator Dr. Omar Ochoa, ERAU

(Contributor in grammar, structure and spelling revision): Synthetic Ontologies: A Hypothesis, primary author Alexander Bikeyev

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.

Independent AI Consultant - Handshake AI, Remote

• Contributed expert RLHF and evaluation work to improve LLM output quality for production-grade generative AI systems.

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.

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.

SMART Scholar AI Research Scientist - Machine Learning Interoperability with Basic Formal Ontology (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.

SMART Scholar Remote AI Research Scientist - Geospatial Relationship Inferencing, AFRL, Rome, NY

• Derived novel geospatial relationships by linking SUMO ontology objects with ADE20K scene annotations and WKT geometries, enabling spatial inferencing over computer vision data.

AFRL Scholars Remote AI Research Scientist - ML Explainability, AFRL, Rome, NY

• Generated semantic explanations for ML model outputs using DL-Learner and background ontological knowledge, advancing XAI interpretability for defense AI systems.

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.

Academic Consultant and Editor - Cloudcell Limited

• Consulted on and edited a machine learning academic paper through publication, providing technical guidance and editorial refinement.

Reasoning Consultant - Upwork

• Delivered expert consultation on first-order and higher-order logic ontology reasoning, advising on formal knowledge representation strategies.

Ontology Engineer - Upwork

• Engineered a mid-level domain ontology and produced stakeholder documentation covering OWL reasoning and description logics.

Nuclear Construction Ontology Engineer - Upwork

• Designed and delivered an ontology for nuclear facility construction process evaluation, modeling complex domain knowledge for process compliance assessment.

AI Consultant and Ontology Engineer - Quiet Professionals

• Advised on LLM deployment for DoD use cases and engineered a BFO/CCO-compliant ontology to standardize defense data across enterprise systems.

Ontologist and Linked Data Engineer - Hooray Media

• Built a Linked Data taxonomy and ontology integrated into a WordPress content publishing ecosystem, enabling structured semantic categorization of web content.

Ontologist and Knowledge Graph Engineer - The Link

• 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.

Legal Ontology Consultant - Upwork

• Advised on the architecture and development of a legal domain ontology in OWL, guiding formal knowledge modeling for legal concept representation.

Software Test Engineer - Upwork

• Evaluated and delivered structured feedback on a startup scientific research platform, identifying UX and functional issues ahead of launch.

Geospatial Ontology Analyst - Upwork

• 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.

Knowledge Graph Engineer - Upwork

• Modeled a software development lifecycle use case as a knowledge graph in GraphDB, applying PROV-O and SEON ontologies for process provenance representation.

Technology Consultant and Scientific Writer - ForumAPI

• 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.

Ontologist - WordLift SEO

• 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.

University Course Engineer - The Knowledge Representation Spectrum

• Designed a graduate-level course extending relational databases into the knowledge representation spectrum — covering applied ontology, Linked Data, and contemporary NLP techniques.

AI Research Team Lead and Semantic Web Consultant, ERAU

• 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.

Grader for CS344 - C Programming and UNIX, ERAU

• Assessed content included Linux commands and intermediate C programming topics, such as structures, complex pointer manipulation and memory management

Grader for CS315 - Data Structures and Algorithms, ERAU

• Evaluated implementation of linked lists, queues, stacks, trees, heaps, maps, graphs, recursion, sorting and searching algorithms

Customer Service Clerk, Publix Supermarkets

• Delivered customer service and managed merchandise stocking in a high-volume retail environment.

procko.pro - 1 member

AI Landscape Digest - 1 member

Biomedical Paper Information Extractor - 1 member

Health Optimization Knowledge Graph - 1 member

OCSF Visualizer - 1 member

BFO-Wikidata Classifier - 1 member

BERT Model Benchmarking Suite - 1 member

BFO-BERT Classifier - 1 member

dissenter - 1 member

ProvTracer - 1 member

Personal & Creative Work -

Linked Data Consultant and Scientific Writer - Cloudcell

Stable Diffusion and Low-Rank Adaptation Testing - 1 member

An Investigation into Computational Efficiency Optimization of Natural Language Processing Vectorization Techniques on Large Corpora in Python - 1 member

BFO Buddy - 1 member

USA Obesity Rates Visualization and Analysis - 4 members

Upper Martial Arts Ontology (UMAO) - 1 member

Volusia County Parcel Elevation Visualization with SQL and QGIS - 1 member

BitTorrent Systems Engineering Management Plan - 1 member

Microsoft Word Usability Desiderata - 1 member

EcoCar - 6 teams, 6 members each

Meme Ontology and Clustering Analysis - 3 members

Network Attached Storage (NAS) Server - 1 member

Ludum Dare 44 - 2 members

ARocket - 4 members

VxWorks C Water Heater Simulation - 1 member

Encrypted Text Messages Transmitted Via Near-Field Sound - 3 members

LAN Multiplayer Board Game - 1 member

Monster Hunter: World Player Support Project (MHW:PSP) - 2 members

EagleListings - 5 members

Tiles - 1 member

Text-Based Racing Game - 1 member

Boe-Bot Line Follower Robot - 3 members

CompTIA Security Study Guides -

FAA Data Challenge 2023 -

ForsenStudy -

htmlcss tutorial youtube clone -

PR0CK0 -

rails friends tutorial -

RDF Prefix Adder -

rtd test -

SWEBOK Knowledge Graph via REBEL -

Web Post Ontology -

Quizzical -

AI Config -

Cited by a BlackRock + NVIDIA paper

Powering AI with Ontology in Construction, Constructed Futures with Hugh Seaton

Confidential, cleared by DCSA, retained by USRA

Confidential, cleared by DCSA, retained by USRA

Secret, cleared by DCSA, retained by USRA

Security+, CompTIA

Semantic Web Technologies, Hasso Plattner Institute

Machine Learning, Upwork

Machine Learning Specialization, Stanford DeepLearning.AI

MLOps Essentials: Model Deployment and Monitoring, LinkedIn Learning

MLOps Essentials: Model Development and Integration, LinkedIn Learning

How to Research and Write Using Generative AI Tools, LinkedIn Learning

GPT-4: The New GPT Release, LinkedIn Learning

Prompt Engineering: How to Talk to the AIs, LinkedIn Learning

Remote Work Professional, CertiProf

Data Analytics Professional, Google

Essential Editing and Proofreading, Virtued Academy International (IAOTH)

The basis of all my secure software engineering

Not precisely a standard, but used in software engineering as a common reference manual; the subject of a lot of my work over the years

Used in cybersecurity projects

Used in cybersecurity projects

Used in cybersecurity projects

Parsed the entirety of MasterFormat and SectionFormat and built knowledge graphs for them

"SDLC standard", familiar with the concepts and applications

Familiar with the concepts and implementation of bibliographic referencing

Know the standard and have read it

Have studied and parsed the document in an earlier project

Engineering Physics I, II & III

Introduction to Engineering

Scientific Programming in C

Introduction to Discrete Structures

Technical Report Writing

Computer Science II (Java)

Digital Circuit Design

Principles of Aeronautical Science

Software Engineering Practices

Introduction to Scientific Computing

Data Structures Analysis and Algorithms

Analysis and Design of Software Systems

Probability and Statistics

Files and Database Systems

Microprocessor Systems

Software Construction

Engineering Economics

Organization of Programming Languages

Computer Architecture

Software Modeling

Applied Cryptography

Network Security

Real-Time Systems

Human Factors I: Principles and Fundamentals

Digital Forensics

Operating Systems

Software Quality Engineering and Assurance

Software Capstone Projects I & II

Human Factors and System Safety

Human-Computer Interaction

Fundamentals of Systems Engineering

Software System Architecture and Design

Software Requirements Engineering

Software Project Management

Databases and Data Retrieval

System Exploitation and Penetration Testing

Data Visualization

Software Security Assessment

Introduction to Systems Engineering Management

Memory and Cognition

High-Performance Scientific Computing

Human, Social & Organizational Factors in Emerging Technologies

Current Trends in Software Engineering

Research Methods for Engineers

Graduate Research Project

Dissertation Hours

A Knowledge Representation Practionary, Michael K. Bergman

An Enquiry Concerning Human Understanding, David Hume

Practical Natural Language Processing, Vajjala et al.

Of Empire, Francis Bacon

Building Ontologies with BFO, Smith et al.

The Prince and Discourses on Livy, Niccolò Machiavelli

I took this as part of my entrance to the SMART program; I need to request my scores to get the proper numbers

President's Education Awards Program - Outstanding Academic Excellence

Principal's List - All A Honor Roll

Member - National Honor Society

Participant in a regional math contest; team won 5th place

Member - Science Club

1st place in a physics class contest for an egg-drop survival test

Winner of a creative essay contest

1st Place - FAACS Fine Arts Competition

Member - National Junior Honor Society

Member - Beta Club

3rd Place - 2006 FAACS Regional Spelling Bee

1997

INTJ-T as a teenager ... ENTJ-T as a man

Reading, weightlifting, triathlon, martial arts, drawing, carpentry, machining, banjo, tool collecting

William-Adolphe Bouguereau, Frank Frazetta

Classical, Old Country, Dad Rock

Discourses on Livy (Machiavelli), The Count of Monte Cristo (Dumas), Paradise Lost (Milton), Endurance (Lansing), Redwall series (Jacques)

The Sopranos