Assistant Professor in Computer Science & Engineering at University of Michigan. Research on programming language design and semantics.