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.

The Constitution is a document that was made over 200 years ago by a population that could have never imagined the type of technology or social advances made in the 21st century. This creates a natural rift between governing ideals between then and now, that needs to be addressed. Rather than holding the values of the nation to a time when people were not considered citizens because of the color of their skin, there need to be updates made to the Constitution itself. The need for change and the mechanisms were both established by the Framers while creating and advancing the Constitution. The ideal process to go about these changes is split between the formal Article V amendment process and judicial activism. The amendment process has infinite scope for changes that can be done, but due to the challenge involved in trying to pass any form of the amendment through both State and Federal Congresses, that process should be reserved for only fundamental or structural changes. Judicial activism, by way of Supreme Court decisions, is a method best applied to the protection of people’s rights.

In this study, I sought to determine which NFL Combine metrics are predictive of future NFL success among the quarterback, running back, and wide receiver positions, with the hope of providing meaningful information that can be utilized by NFL executives when making decisions about draft selections. I gathered samples spanning across the years 2010-2015 of all three of the aforementioned position groups. Among these samples, I used certain criteria which split them up within their position groups. The two groups of players were identified as: those who had successful careers and those who had unsuccessful careers. Given this information, I performed t-tests and ANOVA between successful and unsuccessful groups with the goal of identifying which combine metrics are predictive of future NFL success, and which are not. For quarterbacks, the 40-yard dash, broad jump, three-cone, and 10-yard shuttle all appear to be predictive of success. Notably, quarterback height does not appear to be predictive, despite the popular belief that a quarterback should be tall if they are to succeed. For running backs, player weight, 40-yard dash, and three-cone all appear to be predictive of success, with the broad jump and 10-yard shuttle seemingly predicting success as well, albeit to a lesser degree of strength. For wide receivers, all metrics do not appear to be predictive of success, with the exception of the 40-yard dash, which only appears to be slightly predictive. While there are likely many other factors that contribute to a player’s success than tests administered at the NFL combine, NFL general managers can look to these results when making draft selections.

In 2020, the world was swept by a global pandemic. It disrupted the lives of millions; many lost their jobs, students were forced to leave schools, and children were left with little to do while quarantined at their houses. Although the media outlets covered very little of how children were being affected by COVID-19, it was obvious that their group was not immune to the issues the world was facing. Being stuck at home with little to do took a mental and physical toll on many kids. That is when EVOLVE Academy became an idea; our team wanted to create a fully online platform for children to help them practice and evolve their athletics skills, or simply spend part of their day performing a physical and health activity. Our team designed a solution that would benefit children, as well as parents that were struggling to find engaging activities for their kids while out of school. We quickly encountered issues that made it difficult for us to reach our target audience and make them believe and trust our platform. However, we persisted and tried to solve and answer the questions and problems that came along the way. Sadly, the same pandemic that opened the widow for EVOLVE Academy to exist, is now the reason people are walking away from it. Children want real interaction. They want to connect with other kids through more than just a screen. Although the priority of parents remains the safety and security of their kids, parents are also searching and opting for more “human” interactions, leaving EVOLVE Academy with little room to grow and succeed.

In the early years of the National Football League, scouting and roster development resembled the wild west. Drafts were held in hotel ballrooms the day after the last game of regular season college football was played. There was no combine, limited scouting, and no salary cap. Over time, these aspects have changed dramatically, in part due to key figures from Pete Rozelle to Gil Brandt to Bill Belichick. The development and learning from this time period have laid the foundational infrastructure that modern roster construction is based upon. In this modern day, managing a team and putting together a roster involves numerous people, intense scouting, layers of technology, and, critically, the management of the salary cap. Since it was first put into place in 1994, managing the cap has become an essential element of building and sustaining a successful team. The New England Patriots’ mastery of the cap is a large part of what enabled their dynastic run over the past twenty years. While their model has undoubtedly proven to be successful, an opposing model has become increasingly popular and yielded results of its own. Both models center around different distributions of the salary cap, starting with the portion paid to the starting quarterback. The Patriots dynasty was, in part, made possible due to their use of both models over the course of their dominance. Drafting, organizational culture, and coaching are all among the numerous critical factors in determining a team’s success and it becomes difficult to pinpoint the true source of success for any given team. Ultimately, however, effective management of the cap proves to be a force multiplier; it does not guarantee that a team will be successful, but it helps teams that handle the other variables well sustain their success.