Mathematical Sciences: Research in Mathematical Logic from Computer Science

该奖项将提供一年的部分支持， 数理逻辑的研究生，他将做论文 在Anil Nerode（教授， 数学系，数学科学主任 和Juris Hartmanis（计算机系教授） 科学）。 本研究运用数理逻辑的方法， 研究并行计算的复杂性。 平行 计算也许是最有希望的途径， 在计算速度上，但众所周知， 分析与传统串行计算相比， 大多数现有的计算机都是这样。

This award will provide partial support for one year for a graduate student in mathematical logic who will do thesis research under the joint direction of Anil Nerode (Professor, Department of Mathematics, and Director, Mathematical Sciences Institute) and Juris Hartmanis (Professor, Department of Computer Science). The research uses methods of mathematical logic to study the complexity of parallel computation. Parallel computation is perhaps the most promising route to vast increases in computational speed, but it is notoriously difficult to analyse compared with the traditional serial computation that most existing computers do.