Sorin Lerner


Contact Information


Email
lerner@ucsd.edu
Office Phone
(858) 534-8883
Website
Homepageget_value('website')); echo "
";
//print_r (explode(":",$cur_website));
print_r($cur_website);
echo "
"; */?>

Summary


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.

Comments are closed.