Ping Yang's home page

Ping Yang

pyang

Assistant Professor
Ph.D., Stony Brook University (SUNY)

T-6, Engineering Building
Department of Computer Science
Binghamton University (SUNY)
Binghamton, NY, 13902
Email: pyang[at]cs[dot]binghamton[dot]edu
Office Phone:607-777-5697

[Research] | [Publications] | [Teaching]

Research

My research interests lie in the areas of Security, Verification, Programming Languages, Software Engineering, Program Analysis, and Artificial Intelligence. I am the director of Security and Verification Research Lab .

Current Research Projects

Verification Techniques for Mobile Systems and Security Protocols
Security Analysis of Trust Management Policies
Scientific Workflow Security

Teaching

CS458/CS558 Introduction to computer security (Spring 2008)

CS571 Programming Languages (Fall 2007)

Contact: pyang [at] cs [dot] binghamton [dot] edu