He uses Jscheme to teach web programming to non-majors. His other research includes logic programming, interval arithmetic constraints, groupware, and educational software.