Write a Blog >>
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Cole Schlesinger

Registered user since Fri 23 Oct 2015

Name: Cole Schlesinger

Bio: I am a research engineer with the Advanced Programming Tools team at Samsung Research America. My research focuses on linguistic modeling and verification of software systems and networks.

Prior to joining SRA, I received a Ph.D. from Princeton University, advised by David Walker.

For past and ongoing projects, please visit: http://www.schlesinger.tech

Affiliation: Samsung Research America

Personal website: http://www.schlesinger.tech

Research interests: Programming Languages, Software-defined Networking, Formal Methods


Onward! 2017Author of IoTa: A Calculus for Internet of Things Automation within the Onward! Papers-track
Show activities from other conferences

SPLASH 2017-profile
View general profile