Edgar Pek is security researcher at Adobe, Inc. where he works on application security. He holds a PhD from University of Illinois where he worked on light-weight formal verification for security of systems software.