Date: Thu, 18 Jan 2007 12:40:48 +0000 From: Anuj Dawar To: Ruy de Queiroz Subject: Re: Your support (...) Dear Members of the CNPq Scientific Committee, I understand that you have been asked to reconsider an application by Prof. Ruy de Quieroz to renew his research funding. He has asked me to write to you in support of his application. I write as a member of the research community in logic in computer science who knows Prof. de Queiroz both by reputation and by virute of having met him when he invited me to visit Recife some ten years ago. I think it is fair to say that the impact that Prof. de Queiroz has had on the research community in logic is not fairly reflected in the number of his journal publications alone, but should be measured also by a variety of other measures such as prestigious journals for which he has seved as editor and the conferences he has organised. He has been the engine behind the WoLLIC series of meetings which have done more than anything else to bring high-quality research in logic to Brazil. Indeed, in the international community in logic, the name of Prof. de Queiroz is synonymous with logic in Brazil. His various activities have received recognition from the research community in various forms, such as his award of a visiting professorship in Stanford. It would be a real loss to see any of this activity curtailed as a result of loss of funding. I hope you are able to give positive consideration to his application. If you have any further questions you would like to ask me, please do not hesitate to contact me. -Anuj Dawar. -- Anuj.Dawar@cl.cam.ac.uk University of Cambridge Computer Laboratory Phone: +44 1223 334408 William Gates Building Fax: +44 1223 334678 J.J. Thomson Avenue Cambridge CB3 0FD, UK. http://www.cl.cam.ac.uk/users/ad260