He is one of the developers of the Racket programming language and a co-author of the introductory programming textbook How to Design Programs. He received his PhD from Rice University.