Expertise

Computer Security, Modular Program Analysis, Program Transformation, Type Systems, Software Model-checking.

Degrees
PhD, Kansas State University, Computing and Information Sciences, 1995
PhD, Kansas State University
Keywords
computer science