Hillel Wayne is a formal methods educator and consultant. He is on the Alloy board and in charge of writing the new online reference documentation. He is a certified EMT in Illinois.