This article was nominated for deletion on 21 December 2008. The result of the discussion was keep.
This article must adhere to the biographies of living persons (BLP) policy, even if it is not a biography, because it contains material about living persons. Contentious material about living persons that is unsourced or poorly sourcedmust be removed immediately from the article and its talk page, especially if potentially libellous. If such material is repeatedly inserted, or if you have other concerns, please report the issue to this noticeboard.If you are a subject of this article, or acting on behalf of one, and you need help, please see this help page.
This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:
This article is within the scope of WikiProject Biography, a collaborative effort to create, develop and organize Wikipedia's articles about people. All interested editors are invited to join the project and contribute to the discussion. For instructions on how to use this banner, please refer to the documentation.BiographyWikipedia:WikiProject BiographyTemplate:WikiProject Biographybiography articles
This article is within the scope of WikiProject Women scientists, a collaborative effort to improve the coverage of Women in science on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.Women scientistsWikipedia:WikiProject Women scientistsTemplate:WikiProject Women scientistsWomen scientists articles
Latest comment: 15 years ago1 comment1 person in discussion
This article was marked for speedy deletion on the grounds that the importance is not stated. However, the work that she has done on the soundness of the Java programming language was very important and has been acknowledged widely: essentially this consists of a mathematical proof that the constructs in this language are consistent and correct. This is currently only proven for a handful of languages. Cngoulimis (talk) 17:48, 21 December 2008 (UTC)Reply
