Amanda M. Holland-Minkley

Learn 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)
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)
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)
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)
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)