You must login to Pivot in order to edit your profile.Login or create an account
Learn more about: Account set-up and claiming your profile Updating your Pivot profile
Computer Security, Modular Program Analysis, Program Transformation, Type Systems, Software Model-checking.
Associate Professor, Department of Computing and Information Sciences, College of Engineering, Kansas State University
Computer Science