Professor Lerner's research interests lie in programming language and analysis techniques for making software systems easier to write, maintain and understand, including static program analysis, domain specific languages, compilation, formal methods and automated theorem proving. He became a CSE faculty member at UCSD in 2006. He studied computer engineering at McGill and went to graduate school in the Computer Science department at the University of Washington in Seattle.