Professor and Chair
Office: NAC 8/206
Phone: 212-650-6631 email: dtroeger at cs ccny cuny edu
Profile Formal Methods Workshops Programming Language Paradigms - Fall 2011 Theoretical Computer Science - Spring 2012