Berkeley is currently working on the identification of unknown static libraries in binaries. His broader research interests include security, formal verification and programing languages.