Computer Science Ph.D. students Jay McCarthy and Warren Schudy recently received awards from the National Science Foundation's Graduate Research Fellowship Program (GRFP).
Jay received a NSF Fellowship and placed in the top 6th percentile of awardees. His proposed plan of research is to create a programming language that eases the development of correct and richly featured Web applications. This language will be amenable to analysis to help guarantee various kinds of safety properties. Jay's award is worth approximately $120,000 over three years.
Warren received a NSF Honorable Mention for his proposal concerning automatic tuning of combinatorial ...