Research ought to be promotable. It should have potential to inform and motivate those outside the particular sub-discipline in which it originated. It is easy to look into the past and find promotable research; examine the present for the products of research and identify the research that contributed to those products. It is much harder to identify current research which will actually be promoted. Nonetheless, I believe that the following qualities are fundamental to promotable research: relevancy the research is intended to overcome a real problem simplicity the concepts underlying the research are simple accessibility the essence of the work is communicable, by an informative simile, to non-experts honesty the impact of the research is described honestly, an honest comparison of related work is made, and prior work is credited transparency if there are witnesses to the quality of the research, e.g., an implementation of an algorithm or a library, then they are made available for inspection As a graduate student, I have divided my research efforts between two principle areas. The first is automated theorem proving. In this area I have examined a number of ways in which techniques from integrated development environments(IDEs) can be adapted for use with proof assistants, in particular Coq [8]. The second is a synthesis of machine learning and software engineering to assist debugging. In both areas I have endeavored to make sure my research has the qualities above.