Amanda M. Holland-Minkley

Learn More
We propose a new approach to text generation from formal proofs that exploits the high-level and interactive features of a tactic-style theorem prover. The design of our system is based on communication conventions identified in a corpus of texts. We show how to use dialogue with the theorem prover to obtain information that is required for communication(More)
We have studied the classification of the environment of residues within protein structures. Eisenberg's original idea created environmental categories to discriminate between similar residues [Bowie et al., Science (1991), 253, 164-170]. These environments grouped residues based upon their buried surface area, polarity of the surrounding environment, and(More)
In this paper we address the issue of research communities in science and engineering and their effects on graduate students and women in particular. We present our observations of graduate student experiences in one particular research community. These observations are considered in the context of research done by national science institutes and feminist(More)
Regardless of the course topic, every instructor in a computing field endeavors to engage their students in deep problem-solving and critical thinking. One of the specific learning outcomes throughout our computer science curriculum is the development of independent, capable problem solving – and we believe good pedagogy can bring such about. Our(More)
This paper describes a lab-based course in computer security targeted at non-majors and introductory-level students at a liberal arts college. The course material exposes students to actual malware and hacking attacks through experiments in an isolated computer lab. Through these experiments, students not only gain technical knowledge about computer(More)
The SIGCSE Committee on Computing Education in Liberal Arts Colleges was approved in late 2015 and began organizing itself at SIGCSE 2016. The Committee has made an initial survey of the liberal arts computer science landscape, and has identified some central issues for more detailed study. This session will present the Committee's initial findings and(More)
Effective computer science curricula can develop students' abilities more broadly than just ensuring content mastery and algorithmic thinking. Computer science curricula may also include components focused on technical writing and communication skills, ethical practice of computing, effective teamwork and project management, and the application of computer(More)
How can CS faculty at liberal arts colleges better communicate with colleagues and the public about the value our institutions offer? Liberal arts colleges play an important role in undergraduate CS education. Liberal arts skills are widely valued in the tech industry, many liberal arts undergraduates go on to earn Ph.D.s in STEM, and many of the(More)
This paper describes the introduction of a feedback-revision-resubmission cycle for homework assignments in two introductory courses. The goal was to increase student engagement with homework assignments as an important tool for concept practice and mastery. A review of the effects in both an object-oriented programming course and a relational databases(More)