Faculty Commons, A Center for Teaching, Learning, Scholarship and Service coordinates all professional development, grants and assessment activities of faculty at New York City College of Technology. Faculty Commons adopts a programmatic approach to professional development and operates as a faculty resource and think tank where members collaborate on a variety of projects to shape curriculum, pedagogy and assessment.
The Office of Sponsored Programs (OSP) helps faculty and administrators compete for and win grants that strengthen the intellectual climate and improve the learning environment at City Tech. The office provides notices of grant opportunities and works with faculty and administrators over the life-cycle of a grant – from concept development through close-out.
The Professional Activity Report and Self-Evaluation (PARSE) is the documentation of a faculty member’s accomplishments during each academic year and cumulatively, in the three principal areas of teaching, scholarly and professional growth, and service. The PARSE serves as the basis for the annual evaluation. It is also provides faculty with an instrument to present to departmental and college review committees for reappointment, tenure, and promotion.
CST Colloquium: Static Analysis and Verification of C Programs
September 17, 2015 @ 12:00 pm - 1:00 pm
Date: September 17th, 2015 at 12:00 pm – 1:00 pm Location: Namm 923 Speaker: Subash Shankar
Abstract: Department of Computer Science, Hunter College, City University of New York
Recent years have seen the emergence of several static analysis techniques for reasoning about programs. This talk presents several major classes of techniques and tools that implement these techniques. Part of the presentation will be a demonstration of the tools.
Dr. Subash Shankar is an Associate Professor in the Computer Science department at Hunter College, CUNY. Prior to joining CUNY, he received a PhD from the University of Minnesota and was a postdoctoral fellow in the model checking group at Carnegie Mellon University. Dr. Shankar also has over 10 years of industrial experience, mostly in the areas of formal methods and tools for analyzing hardware and software systems.