He is co-author of The Reasoned Schemer, 2nd ed., and runs weekly online hangouts on miniKanren and relational programming. Will is also interested in the intersection of programming languages and biology. Ask him about the scanning tunneling microscope (STM) he is building.