Curriculum Vitae

Courses Taught

• CS317 / CS417, Introduction to Design & Analysis of Algorithms (2024, 2026)
• CS403, Introduction to Formal Languages & Automata Theory (2022, 2024)
• CS603, Formal Languages & Automata Theory (2023)

Sponsored Research

Executive Research Leadership

• 2021 – …, Risk Assessment Modeling Tool (RAMoT). U.S. Army SBIR A214-028, Phases I and II; subsequent Phase III Other Transaction Agreement (OTA) through the U.S. Air Force 96th Test Wing (2026) and the Aviation & Missile Technology Consortium (AMTC).
  • Aggregate estimated program value: $21M+ (including $19.2M Phase III).
  • Led transition of Army SBIR research into a Phase III OTA to scale and deploy real-time Probabilistic Risk Assessment (PRA) capabilities across major test ranges, designed to automate complex hazard analyses to reduce preparation time and accelerate operational testing.
  • Directed competitive proposal development, including technical strategy, cost proposals, formal reviews, and mentoring company Principal Investigators.
  • Led sustained technical and programmatic engagement with Army Test and Evaluation Command (ATEC) stakeholders at White Sands Missile Range (WSMR) and subsequently with the U.S. Air Force’s 96th Test Wing (96 TW).
• 2017 – 2018, Techniques to Adjust Computational Trends Involving Changing Data (TACTIC-D). Executive Technical and Proposal Leadership, OASYS, INC. U.S. Navy STTR N17B-T032, Phase I. Research partner: UAH Information Technology & Systems Center (ITSC).
  • Aggregate awarded funding: $120k+.
  • Established the industry–university teaming arrangement with UAH ITSC and directed development of the successful Navy Phase I STTR technical and cost proposals.
  • Secured competitive Phase I award supporting research into use of statistical causal inference to optimize pilot training.

Research as Principal Investigator

• 2011 – 2013, Improved Techniques for Optimistic Modeling. Missile Defense Agency SBIR MDA11-031, Phases I and II. deciBel Research, Inc. Teaming partner: Galois, Inc.
  • Aggregate awarded funding: $1M+.
  • Authored Phase I and II technical proposals and managed customer relationship.
  • Led research applying type-system constraints to prevent irreversible side effects during speculative computation, enabling detection at compile time of selected programming defects that previously required painstaking manual review.

Research Interests

Large Language Models, Explainable and Responsible AI, Human–AI Decision Support, Embedding-Based Similarity and Information Retrieval, Software Assurance, Digital Engineering

Technical Expertise

AI/ML, LLM Applications, Software Engineering, Real-Time and Embedded Systems, Software Assurance, Modeling and Simulation, DevSecOps, Requirements Engineering, Proposal Development

Publications

Manuscript Under Review

• G. Bacon and V. Menon, “ToTes: Tree of thoughts with embedding similarity for transparency and traceability in SBIR topic down-selection,” ACM Journal on Responsible Computing, 2026. DOI: 10.2139/ssrn.7549759, revised manuscript under review with SSRN preprint available.

Manuscript in Preparation

• G. Bacon and V. Menon, “LatentCharge: Quantifying alignment of LLM results with user intent,” 2026.

Peer-Reviewed Conference Papers

1. M. W. Barnett, D. C. Kolenich, G. Bacon, L. E. Shields, S. Lukins, and E. Tsibertzopoulos, “IRSim: AI generation of infrared images,” in SoutheastCon 2026, IEEE, Huntsville, AL, Mar. 2026, pp. 1–6. DOI: 10.1109/SoutheastCon63549.2026.11476640.
2. G. Bacon and V. Menon, “Exploring transparency and AI assessment in LLM-assisted research applications,” in SoutheastCon 2025, IEEE, Concord, NC, 2025, pp. 346–351. DOI: 10.1109/SoutheastCon56624.2025.10971523.
3. G. Bacon and V. Menon, “Use of large language model embeddings to predict research topic suitability based on organizational capabilities,” in SoutheastCon 2024, IEEE, Atlanta, GA, 2024, pp. 1376–1381. DOI: 10.1109/SoutheastCon52093.2024.10500152.

Dissertation

• G. Bacon, “Toward measurable explainable ethical AI: An LLM-driven data analytics study,” ProQuest publication number 32116123. ISBN 9798286491377, Ph.D. dissertation, The University of Alabama in Huntsville, 2025.

Other Conferences

1. G. Bacon, “Realtime verification & validation of the Space Shuttle Main Engine Controller software,” Boeing Technical Excellence Conference 5, Seattle, WA, 2003.
2. G. Bacon, “Building objects out of arrays,” in yapc99 Proceedings, Carnegie Mellon University, 1999.
3. R. Chen, G. Bacon, L. Chang, and C. Williams, “Removing static from music using a back-propagation neural network,” SuperQuest 1994, The University of Alabama in Huntsville, 1994.

Professional Journal Articles

1. G. Bacon, “Tktk: A Perl/Tk solitaire game,” The Perl Journal, vol. 5, no. 2, pp. 17–19, 2000.
2. G. Bacon, “Perl heresies: Building objects out of arrays,” The Perl Journal, vol. 4, no. 1, pp. 68–70, 1999.

Book Contributions

1. G. Bacon, “Tktk: A Perl/Tk solitaire game,” in Games, Diversions & Perl Culture, J. Orwant, Ed., O’Reilly Media, Inc., 2003, pp. 306–315, ISBN: 9780596003128.
2. G. Bacon, “Building objects out of arrays,” in Computer Science & Perl Programming, J. Orwant, Ed., O’Reilly Media, Inc., 2002, pp. 348–354, ISBN: 9780596003104.
3. C. Pierce, Perl Developer’s Dictionary, G. Bacon, Ed. Sams, 2002, Technical editor, ISBN: 9780672320675.
4. P. E. Robichaux and G. Bacon, “Programming with Perl,” in Managing the Windows 2000 Registry, Contributed section, O’Reilly Media, Inc., 2000, pp. 272–284, ISBN: 9781565929432.
5. C. Pierce, Sams Teach Yourself Perl in 24 Hours, G. Bacon, Ed. Sams Publishing, 1999, Technical editor, ISBN: 9780672317736.

Academic & Professional Service

• 2025 – …, Board of Directors, Alabama School of Mathematics & Science
• 2025 – …, AI Huntsville, Law & Ethics Committee
• 2025, Technical Program Committee, IEEE SoutheastCon
• 2021 – …, Program Advisory Board, Department of Computer Science, UAH
• 2019 – …, Industrial Advisory Board, Department of Computer Science, UAH
• 2016, Board of Directors, Huntsville Association of Small Businesses in Technology (HASBAT)
• 2013, Cofounder, Omicron Research Corporation

Professional Credentials

• 2024, Institute of Electrical and Electronics Engineers (IEEE), Member
• 2021, Certificated Flight Instructor (CFI) – Airplane, Federal Aviation Administration (FAA)
• 2021, National Association of Flight Instructors (NAFI), Member
• 2020, Advanced Ground Instructor (AGI), FAA
• 2019, Commercial Pilot – Airplane Single Engine Land, FAA
• 2017, Certificated Remote Pilot, FAA, FAR Part 107
• 2016, Instrument – Airplane Rating, FAA
• 2014, Aircraft Owners & Pilots Association (AOPA)
• 2012, Certified ScrumMaster, Agile For All
• 2005, Personnel Security Clearance (active), U.S. Department of Defense
• 2001, Open Water Diver, Professional Association of Diving Instructors (PADI)

Other Technical Contributions

• 2008, Acknowledged contributions. Real World Haskell by Bryan O’Sullivan et al. (paid link)
• 2005, Acknowledged contributions. Higher-Order Perl by Mark Dominus (paid link)
• 2003, Acknowledged contributions. The Perl Cookbook by Tom Christiansen & Nat Torkington (paid link)
• 1998, Charter moderator, comp.lang.perl.moderated Usenet newsgroup

Skills

• Areas
  • Artificial Intelligence/Machine Learning (AI/ML), Large Language Models (LLMs), Theoretical Computer Science, Real-Time & Embedded Software Engineering, Test-Driven Development (TDD), Behavior-Driven Development (BDD), DevOps/DevSecOps, Data Science, Software Assurance, Static & Dynamic Analysis
• Languages
  • C, C++, Perl, Haskell, OCaml, C#, F#, Java, Bash, Tcl/Tk, FORTRAN, JavaScript, Python, …
• Platforms
  • Unix, Linux, VxWorks, Git, GitHub, GitLab, Comprehensive Perl Archive Network (CPAN), $\LaTeX$, Jupyter, XML/XSL
• Research
  • Small Business Innovation Research & Small Business Technology Transfer (SBIR/STTR), AI/ML, LLMs, Embedding Models, Cybersecurity, Complexity, Composability, Requirements Formalization, Software Lifecycle, Digital Engineering
• Aviation
  • Flight & Ground Instruction, Federal Aviation Regulations (FAR), Visual Flight Rules (VFR), Instrument Flight Rules (IFR), Mission Planning, Electronic Flight Bag (EFB)
• Writing
  • Proposal Management & Development, Technical Writing
• Training
  • Classroom & Virtual Instruction, Training Development