Write a Blog >>
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

Personal website: http://cseweb.ucsd.edu/users/lerner/

Contributions

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

POPL 2016-profile
View general profile