Isil and Tom Dillig are currently doctoral students in the Stanford Computer Science Department. They have accepted offers to join the Department of Computer Science at William & Mary as Assistant Professors, starting with the Spring 2012 semester.
Their main research interests are in program verification and constraint solving. Currently, they are working on precise, scalable, and modular analysis of unbounded data structures such as arrays and containers. Their work on constraint solving focuses on online constraint simplification as well as integer linear programming.
They are interested in teaching courses at the undergraduate level in discrete structures, principles of programming languages, and compiler construction. At the graduate level, they will be developing a new course in program verification as well as teaching various graduate-level advanced topics courses in their research area.
Isil (pronounced "Ishil") and Tom met while undergraduates at Stanford in a computer science course in which they were both enrolled. Each went on to earn a B.S. in Computer Science, with Honors, and stayed on at Stanford to do their doctoral work.
We welcome Isil and Tom to the department and look forward to having them on board starting January 2012.