Talk:Sophia Drossopoulou

Latest comment: 15 years ago by Cngoulimis in topic Untitled

Untitled

edit

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