Adding Context to Theoretical Computation: A Proposed New Unit to UVA’s Theory of Computation Course; Read Receipts and Anxiety: Text Communication and Social Consequences

Bishop, Megan, School of Engineering and Applied Science, University of Virginia
Vullikanti, Anil, PV-Biocomplexity Initiative, University of Virginia
Kwon, Yonghwi, EN-Comp Science Dept, University of Virginia
Norton, Peter, EN-Engineering and Society, University of Virginia

In mobile messaging platforms, read indicators can affect users who experience social anxiety. Computer science students learning nondeterminism can apply it in real world model-based software testing. These problems have important implications in software development.

Many computer science students struggle to understand the practical applications of theoretical computation in their careers. Examples illustrating its utility were identified to form a new class unit discussing these applications. New class materials were developed to teach and assess the learning of nondeterminism in software testing.

In interpersonal text communication, read receipts have complex effects. Developers should consider the effects of their decisions on communication subcultures. Surveys and interviews were conducted to examine university students’ relationship with read receipts on mobile messaging platforms. The results indicate that shifts in users’ perceptions can depend upon users’ preexisting social anxiety. Even low-anxiety users are prone to distress when read receipts subject them to social pressure. Users recognize value in read receipts, but overwhelmingly prefer to retain some control over the feature to improve their conversation experiences and reduce stress.

BS (Bachelor of Science)
read receipts, nondeterminism, model based testing, social anxiety, mobile messaging

School of Engineering and Applied Science
Bachelor of Science in Computer Science
Technical Advisor: Anil Vullikanti, Yonghwi Kwon
STS Advisor: Peter Norton

All rights reserved (no additional license for public reuse)
Issued Date: