伊黎和托马斯·迪利格将加入计算机科学系
伊黎和汤姆·迪利格目前是斯坦福大学计算机科学系的博士生。他们已经接受了威廉玛丽学院计算机科学系的邀请，从2012年春季学期开始担任助理教授。
他们的主要研究方向是程序验证和约束求解。目前，他们正致力于对数组和容器等无界数据结构进行精确、可扩展和模块化的分析。他们在约束求解方面的工作主要集中在在线约束简化和整数线性规划方面。
他们有兴趣在本科阶段教授离散结构、编程语言原理和编译器构造等课程。在研究生阶段，他们将开发一门新的程序验证课程，并在他们的研究领域教授各种研究生水平的高级主题课程。
伊黎伊和汤姆是在斯坦福大学读本科时认识的，当时他们都参加了一门计算机科学课程。两人都以优异的成绩获得了计算机科学学士学位，并留在斯坦福大学攻读博士学位。
我们欢迎Isil和Tom加入国务院，并期待他们从2012年1月开始加入。
