System and software verification is a vital component in the development and reliability of cyber-physical systems - especially in critical domains where the margin of error is minimal. In the case of autonomous driving systems (ADS), the vision perception subsystem is a necessity to ensure correct maneuvering of the environment and identification of objects. The challenge posed in perception systems involves verifying the accuracy and rigidity of detections. The use of Spatio-Temporal Perception Logic (STPL) enables the user to express requirements for the perception system to verify, validate, and ensure its behavior; however, a drawback to STPL involves its accessibility. It is limited to individuals with an expert or higher-level knowledge of temporal and spatial logics, and the formal-written requirements become quite verbose with more restrictions imposed. In this thesis, I propose a domain-specific language (DSL) catered to Spatio-Temporal Perception Logic to enable non-expert users the ability to capture requirements for perception subsystems while reducing the necessity to have an experienced background in said logic. The domain-specific language for the Spatio-Temporal Perception Logic is built upon the formal language with two abstractions. The main abstraction captures simple programming statements that are translated to a lower-level STPL expression accepted by the testing monitor. The STPL DSL provides a seamless interface to writing formal expressions while maintaining the power and expressiveness of STPL. These translated equivalent expressions are capable of directing a standard for perception systems to ensure the safety and reduce the risks involved in ill-formed detections.

When examining the average college campus, it becomes obvious that students feel rushed from one place to another as they try to participate in class, clubs, and extracurricular activities. One way that students can feel more comfortable and relaxed around campus is to introduce the aspect of gaming. Studies show that “Moderate videogame play has been found to contribute to emotional stability” (Jones, 2014). This demonstrates that the stress of college can be mitigated by introducing the ability to interact with video games. This same concept has been applied in the workplace, where studies have shown that “Gaming principles such as challenges, competition, rewards and personalization keep employees engaged and learning” (Clark, 2020). This means that if we manage to gamify the college experience, students will be more engaged which will increase and stabilize the retention rate of colleges which utilize this type of experience. Gaming allows students to connect with their peers in a casual environment while also allowing them to find resources around campus and find new places to eat and relax. We plan to gamify the college experience by introducing augmented reality in the form of an app. Augmented reality is “. . . a technology that combines virtual information with the real world” (Chen, 2019). College students will be able to utilize the resources and amenities available to them on campus while completing quests that help them within the application. This demonstrates the ability for video games to engage students using artificial tasks but real actions and experiences which help them feel more connected to campus. Our Founders Lab team has developed and tested an AR application that can be used to connect students with their campus and the resources available to them.

This project explores how modern mobile technology can be used to provide support for domestic violence victims. The goal of the project is to create a proof-of-concept iOS mobile application that maintains a discreet safety front and provides domestic violence victims with resources and safety planning. The design and implementation are disguised as a hair salon app to maintain a low profile on the user’s phone. The HairHelp app features quick exit navigation, a secure database to store a user’s private and personal documents in case of emergency, and a checklist of safety planning measures. The steps taken in this project serve as the foundation for a larger project in the long term.

HackerHero is an educational game designed to teach children, especially those from marginalized backgrounds, computation thinking skills needed for STEAM fields. It also teaches children about social injustice. This project was focused on creating an audio visualization for an AI character within the HackerHero game. The audio visualization consisted of a static silhouette of a face and a wave-like form to represent the mouth. Audio content analysis was performed on audio sampled from the character’s voice lines. Pitch and amplitude derived from the analysis was used to animate the character’s visual features such as it’s brightness, color, and mouth movement. The mouth’s movement and color was manipulated with the audio’s pitch. The lights of Wave were controlled by the amplitude of the audio. Design considerations were made to accommodate those with visual disabilities such as color blindness and epilepsy. Overall the final audio visualization satisfied the project sponsor and built upon existing audio visualization work. User feedback will be a necessity for improving the audio visualization in the future.