VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Sorin Lerner

Not registered as user yet

Name:Sorin Lerner
Bio:

Sorin Lerner joined the Computer Science and Engineering faculty of the Jacobs School in January 2006. He grew up in Montreal, then studied computer engineering at McGill. After McGill, he went to graduate school in the Computer Science department at the University of Washington in Seattle.

Affiliation:University of California, San Diego

Contributions

CoqPL 2016 Formal Verification of Stability Properties of Cyber-Physical Systems
POPL 2016 ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
Printing Floating-Point Numbers: A Faster, Always Correct Method
Show activities from other conferences

POPL 2016-profile
View general profile