Joseph Starr, PhD

• Conducted original research.
• Developed original and modified existing courses for use in an undergraduate research training program.
• Led undergraduates as instructor of record.
• Led undergraduate and graduate students as discussion leader.
• Tutored undergraduate and graduate students in the math tutorial lab.

• Design and implementation of ASPICE process tooling for:
  • Parsing of customer requirements
  • Tracing of customer requirements.
  • Internal requirements modeling process design.
  • Generation of project health metrics and their analysis.
  • Reporting project health to project management tooling.
• MICROSAR sourcing (technical contact)
• Standing up product prototype (basic IO for hardware verification).
• General development of AUTOSAR application components.
• Design and implementation of continuous integration (CI) process and system.

Project Architect

• Responsible for the complete architectural design and direction of a customer project.
• Analysis of customer requirements and negotiation of acceptance for those requirements.
• Planning of team development activities.
• Design and implementation of safety use case (ASIL A)
  

AUTOSAR Projects

• Design and implementation of AUTOSAR application components
• Design and implementation of AUTOSAR MCAL components
• Flash Bootloader design and implementation.
• Design and implementation of continuous integration (CI) process and system.
  

Flash Bootloader Integration

• Integration and testing of off-the-shelf software solutions with a focus on Flash Bootloader integrations.
• Worked with new technologies such as Ethernet, CAN-FD, and Security.
• Support customers in use of the Flash Bootloader product.

In my thesis titled The Tanglenomicon: Tabulation of Arborescent Tangles, I enumerated a class of knot-theoretic objects called arborescent tangles. I identified a unique (up to isotopy) representative for each arborescent tangle, the Right Leaning Identity Tangle Tree (RLITT). I then created and proved correct the abstract algorithms needed for enumeration of RLITT. Furthermore, I designed a process architecture that connects mathematical research with software design, including formal design and validation activities. Within that process I developed a modular software architecture in C for general computational knot theoretic use cases. Using this architecture, I implemented my theoretical algorithms and tabulated arborescent tangles up to 18 crossings.