Skip to content

Symbolic AI · Software Development

Shaun Rose

I build research software for symbolic AI and bioinformatics.

View workContact
  • Automated reasoning
  • Full-stack development
  • RNA visualization
Portrait of Shaun Rose

ORISE Research Intern

Naval Postgraduate School

Scroll to explore

01 · About

Education & credentials

  • B.S. in Computer ScienceCSU Monterey Bay · 3.7 GPA · December 2024
  • CompTIA Security+Certified November 2025
  • Most Impactful Teaching Assistant AwardCSUMB School of Computing · December 2024
  • SACNAS & GMIS travel scholarshipsAwarded August 2024

U.S. citizen · Eligible for U.S. Secret clearance

01

Symbolic AI

  • Java
  • SigmaKEE
  • SUMO
  • SUO-KIF
  • Vampire
  • EProver
  • LEO
02

Web development

  • TypeScript
  • Next.js
  • Node.js
  • NestJS
  • Babylon.js
  • MySQL
03

Research & teaching

  • Python
  • GitHub Projects
  • Agile
  • Algorithms
  • Computer networks
  • Computer architecture

02 · Selected work

Research & teaching

SUMO mascot illustration

Symbolic AI research

Naval Postgraduate School

01

SUMO & SigmaKEE

Contributed to SigmaKEE, a Java platform for neuro-symbolic AI research, and formalized SUMO concepts and relationships in SUO-KIF.

  • Java
  • SUMO
  • SUO-KIF
  • SigmaKEE
SigmaKEE on GitHub

RNA research poster

01 / 03

Bioinformatics research

CSUMB

02

RNA3DS Lab

Built web tools to visualize, classify, and analyze non-coding RNA tertiary structures, plus Python pipelines to process RNA motif base-pairing datasets.

  • TypeScript
  • Next.js
  • Babylon.js
  • NestJS
  • MySQL
  • Python

Student thank-you note

01 / 03

Computer science education

CSUMB

03

Teaching Assistant

Supported algorithms, computer networks, and computer architecture courses. Received CSUMB’s Most Impactful Teaching Assistant Award in December 2024.

  • Algorithms
  • Computer Networks
  • Computer Architecture

03 · Experience

Work history

Apr 2025 – Present

Naval Postgraduate School

ORISE Symbolic AI Research Intern

Helped integrate SUO-KIF translation into first-order, typed first-order, and typed higher-order forms. Tested conjectures with Vampire, EProver, and LEO.

  • Automated theorem proving
  • FOF
  • TFF
  • THF

Nov 2023 – Jan 2025

CSU Monterey Bay

Bioinformatics Research Lead

Led three Agile undergraduate teams using GitHub Projects. Reviewed pull requests for code quality, documentation, and maintainability.

  • Agile
  • GitHub Projects
  • Code review

Aug 2023 – Dec 2024

CSUMB School of Computing & Design

Teaching Assistant

Led labs, review sessions, and individual instruction on data structures, network protocols, MIPS assembly, and CPU design.

  • BFS & DFS
  • TCP/IP
  • Wireshark
  • MIPS