Jan Hoffmann

Jan Hoffmann Jan jennsbl Thu, 09/10/2015 - 18:57 Hoffmann Associate Professor 9105 Gates and Hillman Centers janh@andrew.cmu.edu (412) 268-6309 Computer Science Department Michael Stanley Programming Languages Formal Methods Security and Privacy Faculty Ethan Chu Nathan Glover My research mission is to discover beautiful mathematical ideas that have a real-world impact, shape the way programmers think, and help to create software t