My name is Jordan Thayer. I'm an employee of SIFT where I develop software for verifying reliable systems, among other things. Previously, I was a graduate student at the University of New Hampshire in the Computer Science program. I was a member of the UNH Artificial Intelligence Group. I completed my PhD under Prof. Wheeler Ruml in the area of heuristic search. Before joining UNH in 2006, I attended Rose-Hulman Institute of Technology. While there, I was a DJ at WMHD, a member and president of Theta Xi, Kappa Chapter, and a developer at Rose-Hulman Ventures. Research Interests Heuristic search, automated planning, formal verification.