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)
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)
In an age of continuing outsourcing and reorganization of Information Technology (IT) related jobs, colleges and universities are faced with an urgent need to adapt their educational offerings in order to better prepare students for the types of IT employment opportunities for which they will compete upon graduation. This paper examines the case of a new(More)
  • 1