19 October 2004Nominations for the Nevanlinna Prize 2006
In a previous posting, I mentioned the Rolf Nevanlinna Prize of the International Mathematical Union. This prize specifically addresses research work in mathematical aspects of information science. In that posting, I regretted that even though the prize statement explicitly mentions "logic of programming languages" and "machine models", nobody has yet won a Rolf Nevanlinna Prize for work done in these areas. Now we have a chance of changing this, if we believe that our beautiful research area offers results that have mathematical depth or appeal.
I first received a message advertising the call for nominations from Moshe Vardi's logic mailing list. Next I saw the call mentioned on the LICS Newsletter. Details about eligibility and submission of nominations are here.
Let's lobby for our field, and propose some strong nominations! Do contact me, if you have any suggestions. I'll post the suggestions that I receive on this page. Please note the age restriction: nominees must be strictly less than 40 on December 31, 2005.
The prize will be awarded at the 2006 International Congress of Mathematicians.
Let me end this posting by putting forward one suggestion for nominations off the top of my head. I hope you'll send me some more!
Igor Walukiewicz (date of
birth: 5 March 1968) for his solution of the completeness problem of
Kozen's axiomatization for the modal mu-calculus (Information and
Computation 157 (2000), pp.142--182), and his work on games for
verification and synthesis.
Last modified: Tuesday, 19-Oct-2004 15:34:08 CEST.