Mission-critical systems are those imperative systems whose failures can result in catastrophic consequences. Traditional techniques, such as manual investigation and testing, cannot ensure the absence of errors and security vulnerabilities within these systems. This dissertation leverages formal methods to comprehensively examine several mission-critical systems and their essential components. For each...
The advent of advanced computing and AI has led to social technologies becoming agentic teammates in human-autonomy teams. Interpersonal trust, vital for team functioning, is crucial in determining these teams' success or failure. Trust, while essential, can be easily broken and requires maintenance and repair. This dissertation addresses two questions:...
Breast cancer patients have reported nonspecific neurologic symptoms such as fatigue, depression, and cognitive concerns while undergoing adjuvant therapy. Few neuroimaging studies have examined hormone therapy, an adjuvant therapy, and more research is needed to determine possible neurologic and cognitive effects. Previous estrogen research has found alterations in gray matter...
This dissertation uses the case of Colombia to examine the causes and reproductive mechanisms of civil wars that last more than fifty years, which I call perpetual civil wars. It draws on network analysis of violent events and political claims, content analysis of official archival documents and historical records of...
Swallowing impairment or dysphagia has many possible causes with severe sequelae. One major mediator of the relationship between causes and sequelae is the physiologic impairment of the swallowing mechanism. Assessing the physiology of swallowing impairment is of great importance so that treatment can target physiology to mitigate sequelae. The assessment...
The political history of late twentieth-century Southern Africa was dominated by violent liberation struggles against settler-colonial domination in Angola, Mozambique, Namibia, South Africa, and Zimbabwe. All five countries experienced prolonged settler colonialism, followed by conflicts in which revolutionary national liberation movements (NLMs) sought to both end settler-colonial domination and build...
Recent experiments in participatory democracy, such as Iceland’s 2013 Constitutional Reform process to Chicago’s annual participatory budgeting process, have empowered members of the public to directly make policy decisions. These new participatory democratic institutions depend on citizens having capacity to organize new institutions and the capacity to participate in them....
Derivative-free optimization (DFO) has received growing attention due to important problems arising in practice. Various research communities, ranging from machine learning to engineering design, have adopted distinct DFO methods. In this thesis, we present extensive studies as a meaningful step towards a comprehensive understanding of DFO methods. We study the...
In this work, I try to understand how the movements, attitudes, styles, and positions of the body in representational artworks can be understood as gestures—that is, as moments that interrupt the unfolding of narrative time and produce an interval. The interval is not merely a space that opens up between...
This dissertation theorizes the relation between blackface minstrelsy and contemporary Black performance. The project analyzes the use of nineteenth-century blackface minstrel conventions in Black theatrical performances during later eras where its usage seems counter-intuitive: during the Black freedom struggles of the 1960s; within Black feminist and queer performance of the...