Jan Hoffmann Associate Professor, Computer Science Department Office: 9105 Gates and Hillman Centers Email: janh@andrew.cmu.edu Phone: (412) 2686309- Research Areas: Formal methods General programming languages Software security engineering