Began a year-round internship with Sandia National Laboratories, extending my summer practicum to bring verification and assurance approaches to the FACETS project.