Talk:Sophia Drossopoulou

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