Professor, Computer Science and Engineering
UC Santa Cruz
Engineering, Cyber Security And Computer Science, Computer Security, Concurrency, Dynamic Program Analysis, Formal Methods, Program Verification, Programming Languages, Secure Software Development, Software Reliability, Static Program Analysis, Type Systems