Tyler T. Procko

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

(Secondary author): Exploring Testing Methods for Large Language Models, primary author Timothy Elvira - ICMLA 2024

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

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

(Tertiary Author): The Role, Needs, and State of Cognitive Assistants in Single Pilot Operations, primary author Alexandra Davidoff - 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, primary author Lynn Vonderhaar - 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

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

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

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

(Tertiary author): Leveraging Signal Strength as a Mechanism to Secure GPS Messages, primary author Juan Couder - 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, primary author Timothy Elvira - 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE)

(Secondary author): Digital Rubber Duck: Leveraging Large Language Models for Extreme Programming, primary author Timothy Elvira - 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, primary author Sarah Reynolds - 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), primary author Omar Ochoa

(Secondary Author): Towards A Taxonomy of ML Misbehaviors and their Software Engineering Solutions, primary author Timothy Elvira

(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, primary author Alexandra Davidoff

(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, top 10 finalist, faculty advisor Omar Ochoa

(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 Omar Ochoa, ERAU

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

Reasoning Consultant - Upwork

• Consulted with a client on FOL/HOL ontology reasoning

Ontology Engineer - Upwork

• Developed a mid-level ontology for a discreet domain
• Provided stakeholder-level documentation on OWL reasoning and description logics

Nuclear Construction Ontology Engineer - Upwork

• Consulted on, and developed, an ontology to be used for nuclear facility construction process evaluation

BFO/CCO Consultant and Ontology Engineer - Quiet Professionals

• Engaged in consultation and project work

Ontologist and Linked Data Engineer - Hooray Media

• Consulted on an ontology to be integrated with a WordPress ecosystem for a local content publishing company
• Developed a Linked Data taxonomy for web post content

Ontologist and Knowledge Graph Engineer - The Link

• Consulted on an ontology for the construction industry
• Engineered a system for knowledge graph extraction from construction documents
• Maintained an ecosystem of knowledge graphs containing over 10,000 nodes and 50,000 relations

Legal Ontology Consultant - Upwork

• Provided insight on the design and development of a legal domain ontology in OWL

Software Test Engineer - Upwork

• Tested and gave feedback for a startup scientific research platform

Geospatial Ontology Analyst - Upwork

• Queried a large geospatial ontology with complex SPARQL
• Diagnosed and fixed issues with OWL and SWRL reasoning
• Produced visualizations in GraphDB and Stardog

Knowledge Graph Engineer - Upwork

• Represented a specific use case for the SDLC in GraphDB using PROV and SEON

Technology Consultant and Scientific Writer - ForumAPI

• Provided insight on automated documentation techniques and created artifacts related to scientific publication on a particular domain for a client startup company
• Worked with the GPT API suite to generate software-related documents
• Wrote and published several scientific papers

Ontologist - WordLift SEO (international remote)

• Acted as a knowledge representation consultant
• Represented a client domain using Schema.org and GS1, in OWL, SWRL and SHACL

University Course Engineer - The Knowledge Representation Spectrum

• Developed a course intended to be an extension to a relational databases course, covering the history of knowledge representation, focusing on applied ontology, Linked Data and contemporary NLP

Group Researcher and Semantic Web Consultant, ERAU Daytona, team lead Omar Ochoa

• Worked on projects related to ML, NLP, Linked Data and cybersecurity; produced many papers
• Performed work with other researchers, in addition to contributing to and writing papers on a multitude of research topics, most of which centered around Semantic technology
• Acted as Semantic Web consultant for various other student researchers, in addition to providing assistance in paper review and revision

SMART Scholar Research Intern - ML Provenance, AFRL, Rome, NY

• Advanced dissertation research with real-world data
• Annotated ML platform images in CVAT

SMART Scholar Research Intern - Computer Vision Schema in JSON-LD, AFRL, Rome, NY

• Curated multiple military documents and produced a proto-ontology in JSON-LD for recording the provenance of computer vision tasks

SMART Scholar Research Intern - Machine Learning Interoperability with Basic Formal Ontology (BFO), AFRL, Rome, NY

• Represented the domain of machine learning and defense operations using the Basic Formal Ontology (of Barry Smith) and the Common Core Ontologies
• Mapped several disparate ontology terms from an ad-hoc ML ontology into BFO/CCO compliance
• The produced ontology allowed the answering of core competency questions useful for subject matter experts
• Gained familiarity with SNOMED-CT and the OBO ontologies

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

• Worked remotely due to COVID-19; produced new geospatial relationships between suggested upper merged ontology (SUMO) objects linked with ADE20K annotations and WKTs

AFRL Scholars Remote Research Intern - ML Explainability, AFRL, Rome, NY

• Worked remotely due to COVID-19 and managed to produce “explanations” for machine learning, using background semantic knowledge and the DL-Learner framework

AFRL Scholars Research Intern - ML-Boosted Knowledge Graphs, AFRL, Rome, NY

• Worked with others in “boosting” semantic graphs through machine learning
• Modelled topics from ontologies and eventually assessed ontology quality through metrics
• Produced multitudes of relevant data for the Air Force, as well as a basic ontology quality assessment framework

Grader for CS344 - C Programming and UNIX, ERAU Daytona

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

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

Customer Service Clerk, Publix Supermarkets

• Assisted customers and managed merchandise loading

Linked Data Consultant and Scientific Writer - Cloudcell

• Researched and prepared a biomedical scientific paper to be published

Stable Diffusion and Low-Rank Adaptation Testing - 1 member

• Used the SD WebUI, a variety of models, LoRAs and VAES, along with prompting techniques, to generate images
• An investigation into the toolset for the purpose of future work on generating synthetic data for military vision models

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

• Used Numpy, Numba, Numexpr, Cython, parallel Cython and MPI to improve the computational efficiency of basic vectorization algorithms for NLP (e.g., TF-IDF and Naïve Bayes)

BFO Buddy - 1 member

• A command-line Python tool for bootstrapping ontology development with BFO

USA Obesity Rates Visualization and Analysis - 4 members

• A Pandas/Tableau visualization incorporating dozens of datasets with thousands of data points taken from public US Census datasets; analysis on obesity by region, age group, food quality and various other factors
• Additionally, curated statistics on the World's Strongest Man competitors and performed analysis on their capabilities

Upper Martial Arts Ontology (UMAO) - 1 member

• Represented the domain of martial arts using Schema.org as the base taxonomy, and Bruce Lee's Jeet Kune Do book as the lexicon

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

• A QGIS visualization utilizing several public shape files to display the approximate sea-level elevation of all parcels in Volusia County Florida
• Used several complex GIS functions to perform contour line elevation calculations and QGIS to visualize it

BitTorrent Systems Engineering Management Plan - 1 member

• Produced an entire systems plan for the BitTorrent protocol and application, as a case study

Microsoft Word Usability Desiderata - 1 member

• Evaluated the usability of Microsoft Word's UX using the System Usability Scale and the Nielsen-Norman 5-point Likert scale
• Developed UX personas and validated their accuracy with three empirical studies on personal contacts, using a systematized test plan

EcoCar - 6 teams, 6 members each

• Assisted Embry-Riddle's EcoCar team with the car's autopilot function
• Was a member of the "core" team responsible for all system documentation, including user stories, requirements documents, Kanban board management, design documents and test plans

Meme Ontology and Clustering Analysis - 3 members

• Scraped the website knowyourmeme.com and derived a taxonomy for memes
• Populated this taxonomy with over ten thousand memes and performed cluster analysis to find meme categories

Network Attached Storage (NAS) Server - 1 member

• Built a personal NAS server with 16TB of hard drive space in RAID-1
• Populated personal data, practiced standardized data naming conventions, organizational principles, governance techniques and security measures on a LAN

Ludum Dare 44 - 2 members

• Produced a game in a 48 hour game jam
• Placed top 3% globally
• Responsible for all art and music

ARocket - 4 members

• Produced an augmented reality application for Android phones using Unity and C# for the 2019 Hackathon at ERAU Daytona, winning 3rd place
• The application allowed the user to create and launch a rocket in a virtual-physical space, in addition to refueling and landing the craft
• Sourced and created all the audio and visual media for the application, in addition to implementing some physics

VxWorks C Water Heater Simulation - 1 member

• Simulated the real-time system of a water heater in VxWorks C, utilizing complex techniques with semaphores, watchdogs and various other multithreading concepts

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

• Used the Chirp library of Python to produce a phone app that could transmit encrypted messages over proximal sound with public key encryption

LAN Multiplayer Board Game - 1 member

• A 2D board game similar to Tic-Tac-Toe
• Strict model-view separation and multithreading was implemented
• Connectivity via LAN with the separate codebase of other students using a common interface of serialized classes and TCP sockets

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

• Created a Java/MySQL application for players of the game Monster Hunter: World
• Populated 22 tables with over 1500 game-accurate entries
• Developed MySQL schema using PHPMyAdmin, connected the Java code to the database using JDBC, designed and created the user interface (UI) and all functionality

EagleListings - 5 members

• Created a Java/MySQL application for sales between students of ERAU Daytona
• Implemented the database interface using JDBC, designed and created the UI
• Acted as the SCRUM master for the team

Tiles - 1 member

• Created a fast-paced clicker game in Java

Text-Based Racing Game - 1 member

• Created a text-based, console racing game supporting up to four players in C

Boe-Bot Line Follower Robot - 3 members

• Built and programmed an Arduino robot to follow lines and respond to the position of various colored objects

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)

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

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

Reading, weightlifting, martial arts, drawing, carpentry, machining, banjo

William-Adolphe Bouguereau, Frank Frazetta

Classical

The Sopranos