Straubing Awarded NSF Grant

Howard StraubingComputer Science Department Chairperson Howard Straubing was awarded a three-year, $244,500 grant from the Computer and Communication Foundations Division of the National Science Foundation for the project 'Algebraic Methods for the Study of Logics on Trees'. A description of the award and the project is posted at http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=0915065.