Amanda M. Holland-Minkley

Learn 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)
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)
As CS education moves toward a more rigorous approach to pedagogical research, there is a growing push to adhere to standard practices that are used in other social science fields. A critical aspect of this change is a growing awareness that CS education researchers need to follow standard ethical practices and to perform their research with appropriate(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)